Skip to content

Actions: fblanqui/lambdapi

Actions

.github/workflows/ocaml.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
160 workflow runs
160 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
revert grammar change of #1368 and #1370 (#1372) .github/workflows/ocaml.yml #160: Commit fbbe050 pushed by fblanqui
4m 17s master
master
4m 17s
revert grammar change in #1368 and #1370 .github/workflows/ocaml.yml #159: Commit a720607 pushed by fblanqui
4m 20s revert
revert
4m 20s
grammar change: use commas in environments and unification rules (#1368) .github/workflows/ocaml.yml #158: Commit 4290d66 pushed by fblanqui
4m 26s master
master
4m 26s
wip .github/workflows/ocaml.yml #157: Commit d34bb80 pushed by fblanqui
4m 31s env
env
4m 31s
wip .github/workflows/ocaml.yml #156: Commit eb7b990 pushed by fblanqui
4m 35s env
env
4m 35s
wip .github/workflows/ocaml.yml #155: Commit 0c4a84e pushed by fblanqui
4m 31s env
env
4m 31s
wip .github/workflows/ocaml.yml #154: Commit 60c639a pushed by fblanqui
4m 22s env
env
4m 22s
grammar change: use commas in environments .github/workflows/ocaml.yml #153: Commit d8d2e60 pushed by fblanqui
4m 21s env
env
4m 21s
fix matching with higher-order non-linear LHS (#1367) .github/workflows/ocaml.yml #152: Commit a552ae6 pushed by fblanqui
4m 30s master
master
4m 30s
wip .github/workflows/ocaml.yml #151: Commit c6415bf pushed by fblanqui
4m 25s 1362
1362
4m 25s
wip .github/workflows/ocaml.yml #150: Commit bbdebee pushed by fblanqui
4m 32s 1362
1362
4m 32s
wip .github/workflows/ocaml.yml #149: Commit efc2ff3 pushed by fblanqui
4m 40s 1362
1362
4m 40s
wip .github/workflows/ocaml.yml #148: Commit c64e90b pushed by fblanqui
4m 23s 1362
1362
4m 23s
wip .github/workflows/ocaml.yml #147: Commit 0ce6f4e pushed by fblanqui
9m 27s 1362
1362
9m 27s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #146: Commit 9172b0f pushed by fblanqui
4m 23s 1362
1362
4m 23s
Rocq export: rename identifiers that are in the codomain of the renam… .github/workflows/ocaml.yml #145: Commit 9620b15 pushed by fblanqui
7m 42s master
master
7m 42s
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
Fixing diagnostics (#1317) .github/workflows/ocaml.yml #143: Commit 4fd4704 pushed by fblanqui
4m 16s master
master
4m 16s
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
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
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 .github/workflows/ocaml.yml #138: Commit d482582 pushed by fblanqui
4m 36s parse
parse
4m 36s
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 .github/workflows/ocaml.yml #136: Commit 403722d pushed by fblanqui
4m 49s stdlib
stdlib
4m 49s