Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
516 workflow runs
516 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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/main.yml #1683: Commit 1e3b2ba pushed by fblanqui
8m 14s master
master
8m 14s
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/main.yml #1682: Commit 3404878 pushed by fblanqui
7m 54s 1382
1382
7m 54s
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/main.yml #1681: Commit 4552ab9 pushed by fblanqui
12m 6s master
master
12m 6s
Eval tactic: weak head normalize argument step by step (#1376) .github/workflows/vscode.yml #36: Commit 4552ab9 pushed by fblanqui
39s master
master
39s
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/main.yml #1680: Commit ef94d03 pushed by fblanqui
8m 23s tac_eval
tac_eval
8m 23s
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
fix comment .github/workflows/main.yml #1679: Commit c53ab96 pushed by fblanqui
8m 28s tac_eval
tac_eval
8m 28s
wip .github/workflows/ocaml.yml #167: Commit ed2426b pushed by fblanqui
4m 24s tac_eval
tac_eval
4m 24s
wip .github/workflows/main.yml #1678: Commit ed2426b pushed by fblanqui
8m 17s tac_eval
tac_eval
8m 17s
wip .github/workflows/ocaml.yml #166: Commit b5f8846 pushed by fblanqui
4m 29s tac_eval
tac_eval
4m 29s
wip .github/workflows/main.yml #1677: Commit b5f8846 pushed by fblanqui
8m 19s tac_eval
tac_eval
8m 19s
wip .github/workflows/main.yml #1676: Commit 6f96458 pushed by fblanqui
8m 35s tac_eval
tac_eval
8m 35s
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
wip .github/workflows/main.yml #1675: Commit b48ee58 pushed by fblanqui
8m 44s tac_eval
tac_eval
8m 44s
wip .github/workflows/main.yml #1674: Commit fb40c3b pushed by fblanqui
8m 22s tac_eval
tac_eval
8m 22s
fix comment [noci] .github/workflows/ocaml.yml #163: Commit d02a344 pushed by fblanqui
4m 46s tac_eval
tac_eval
4m 46s
fix comment [noci] .github/workflows/main.yml #1673: Commit d02a344 pushed by fblanqui
8m 4s tac_eval
tac_eval
8m 4s
wip .github/workflows/main.yml #1672: Commit 0403d64 pushed by fblanqui
7m 43s tac_eval
tac_eval
7m 43s
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/main.yml #1671: Commit b151f96 pushed by fblanqui
8m 14s tac_eval
tac_eval
8m 14s