Skip to content

Actions: fblanqui/lambdapi

Actions

.github/workflows/ocaml.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
172 workflow runs
172 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
fix duplication of typing goals when there is no proof script (#1383) .github/workflows/ocaml.yml #172: Commit 1e3b2ba pushed by fblanqui
4m 25s master
master
4m 25s
fix duplication of typing goals when there is no proof script .github/workflows/ocaml.yml #171: Commit 3404878 pushed by fblanqui
4m 40s 1382
1382
4m 40s
Eval tactic: weak head normalize argument step by step (#1376) .github/workflows/ocaml.yml #170: Commit 4552ab9 pushed by fblanqui
8m 20s master
master
8m 20s
wip .github/workflows/ocaml.yml #169: Commit ef94d03 pushed by fblanqui
4m 25s tac_eval
tac_eval
4m 25s
fix comment .github/workflows/ocaml.yml #168: Commit c53ab96 pushed by fblanqui
4m 40s tac_eval
tac_eval
4m 40s
wip .github/workflows/ocaml.yml #167: Commit ed2426b pushed by fblanqui
4m 24s tac_eval
tac_eval
4m 24s
wip .github/workflows/ocaml.yml #166: Commit b5f8846 pushed by fblanqui
4m 29s tac_eval
tac_eval
4m 29s
wip .github/workflows/ocaml.yml #165: Commit 6f96458 pushed by fblanqui
4m 32s tac_eval
tac_eval
4m 32s
wip .github/workflows/ocaml.yml #164: Commit b48ee58 pushed by fblanqui
4m 8s tac_eval
tac_eval
4m 8s
fix comment [noci] .github/workflows/ocaml.yml #163: Commit d02a344 pushed by fblanqui
4m 46s tac_eval
tac_eval
4m 46s
wip .github/workflows/ocaml.yml #162: Commit 0403d64 pushed by fblanqui
4m 28s tac_eval
tac_eval
4m 28s
evaluate tactic terms step by step .github/workflows/ocaml.yml #161: Commit b151f96 pushed by fblanqui
7m 50s tac_eval
tac_eval
7m 50s
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