Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
610 workflow runs
610 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: test ocaml 5.4.1 (#1356) .github/workflows/main.yml #1654: Commit 05a43bd pushed by fblanqui
12m 8s master
master
12m 8s
Bump underscore from 1.13.7 to 1.13.8 in /editors/vscode (#1355) .github/workflows/vscode.yml #33: Commit a8377d5 pushed by fblanqui
52s master
master
52s
Merge remote-tracking branch 'dk/master' into 5.4.1 .github/workflows/vscode.yml #32: Commit f3b7858 pushed by fblanqui
38s 5.4.1
5.4.1
38s
Merge remote-tracking branch 'dk/master' into 5.4.1 .github/workflows/emacs.yml #7: Commit f3b7858 pushed by fblanqui
1m 11s 5.4.1
5.4.1
1m 11s
Merge remote-tracking branch 'dk/master' into 5.4.1 .github/workflows/ocaml.yml #144: Commit f3b7858 pushed by fblanqui
8m 29s 5.4.1
5.4.1
8m 29s
Merge remote-tracking branch 'dk/master' into 5.4.1 .github/workflows/main.yml #1653: Commit f3b7858 pushed by fblanqui
9m 0s 5.4.1
5.4.1
9m 0s
test ocaml 5.4.1 .github/workflows/main.yml #1652: Commit 04008d4 pushed by fblanqui
12m 22s 5.4.1
5.4.1
12m 22s
Fixing diagnostics (#1317) .github/workflows/emacs.yml #6: Commit 4fd4704 pushed by fblanqui
1m 7s master
master
1m 7s
Fixing diagnostics (#1317) .github/workflows/ocaml.yml #143: Commit 4fd4704 pushed by fblanqui
4m 16s master
master
4m 16s
Fixing diagnostics (#1317) .github/workflows/main.yml #1651: Commit 4fd4704 pushed by fblanqui
8m 5s master
master
8m 5s
opam file: update constraints on cmdliner (#1349) .github/workflows/main.yml #1650: Commit 93b921f pushed by fblanqui
8m 14s master
master
8m 14s
opam file: update constraints on cmdliner (#1349) .github/workflows/ocaml.yml #142: Commit 93b921f pushed by fblanqui
4m 20s master
master
4m 20s
opam file: update constraints on cmdliner .github/workflows/ocaml.yml #141: Commit b69c002 pushed by fblanqui
4m 19s cmdliner
cmdliner
4m 19s
opam file: update constraints on cmdliner .github/workflows/main.yml #1649: Commit b69c002 pushed by fblanqui
8m 11s cmdliner
cmdliner
8m 11s
change the name of path var in map_dir to make compatible with cmdlin… .github/workflows/ocaml.yml #140: Commit 8e27c0f pushed by fblanqui
4m 25s master
master
4m 25s
change the name of path var in map_dir to make compatible with cmdlin… .github/workflows/main.yml #1648: Commit 8e27c0f pushed by fblanqui
8m 12s master
master
8m 12s
fix parsing of proof steps (#1347) .github/workflows/ocaml.yml #139: Commit 8631cbe pushed by fblanqui
4m 23s master
master
4m 23s
fix parsing of proof steps (#1347) .github/workflows/vscode.yml #31: Commit 8631cbe pushed by fblanqui
37s master
master
37s
fix parsing of proof steps (#1347) .github/workflows/main.yml #1647: Commit 8631cbe pushed by fblanqui
7m 23s master
master
7m 23s
fix parsing of proof steps .github/workflows/ocaml.yml #138: Commit d482582 pushed by fblanqui
4m 36s parse
parse
4m 36s
fix parsing of proof steps .github/workflows/main.yml #1646: Commit d482582 pushed by fblanqui
8m 6s parse
parse
8m 6s
fix parsing of proof steps .github/workflows/vscode.yml #30: Commit d482582 pushed by fblanqui
34s parse
parse
34s
tests: update stdlib files (#1344) .github/workflows/ocaml.yml #137: Commit 37da6b9 pushed by fblanqui
4m 50s master
master
4m 50s
tests: update stdlib files (#1344) .github/workflows/main.yml #1645: Commit 37da6b9 pushed by fblanqui
8m 10s master
master
8m 10s
wip .github/workflows/main.yml #1644: Commit cb653fa pushed by fblanqui
8m 39s stdlib
stdlib
8m 39s