Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
499 workflow runs
499 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
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
evaluate tactic terms step by step .github/workflows/ocaml.yml #161: Commit b151f96 pushed by fblanqui
7m 50s tac_eval
tac_eval
7m 50s
Bump uuid and @azure/identity in /editors/vscode (#1375) .github/workflows/vscode.yml #35: Commit 0e41394 pushed by fblanqui
30s master
master
30s
revert grammar change of #1368 and #1370 (#1372) .github/workflows/main.yml #1670: Commit fbbe050 pushed by fblanqui
8m 24s master
master
8m 24s
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 of #1368 and #1370 (#1372) .github/workflows/emacs.yml #14: Commit fbbe050 pushed by fblanqui
1m 21s master
master
1m 21s
wip .github/workflows/emacs.yml #13: Commit 3ac23d5 pushed by fblanqui
53s smie
smie
53s
revert grammar change in #1368 and #1370 .github/workflows/emacs.yml #12: Commit a720607 pushed by fblanqui
1m 0s revert
revert
1m 0s
revert grammar change in #1368 and #1370 .github/workflows/main.yml #1669: Commit a720607 pushed by fblanqui
6m 56s revert
revert
6m 56s
revert grammar change in #1368 and #1370 .github/workflows/ocaml.yml #159: Commit a720607 pushed by fblanqui
4m 20s revert
revert
4m 20s
rewrite emacs SMIE grammar .github/workflows/emacs.yml #11: Commit a87bc64 pushed by fblanqui
1m 5s smie
smie
1m 5s
grammar change: use commas in environments and unification rules (#1368) .github/workflows/emacs.yml #10: Commit 4290d66 pushed by fblanqui
1m 8s master
master
1m 8s
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
grammar change: use commas in environments and unification rules (#1368) .github/workflows/main.yml #1668: Commit 4290d66 pushed by fblanqui
8m 17s master
master
8m 17s
wip .github/workflows/main.yml #1667: Commit d34bb80 pushed by fblanqui
8m 11s env
env
8m 11s
wip .github/workflows/ocaml.yml #157: Commit d34bb80 pushed by fblanqui
4m 31s env
env
4m 31s
wip .github/workflows/main.yml #1666: Commit eb7b990 pushed by fblanqui
7m 51s env
env
7m 51s
wip .github/workflows/emacs.yml #9: Commit eb7b990 pushed by fblanqui
1m 11s env
env
1m 11s
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