Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
758 workflow runs
758 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/ocaml.yml #312: Commit fd46468 pushed by fblanqui
5m 1s tac
tac
5m 1s
wip .github/workflows/main.yml #1829: Commit fd46468 pushed by fblanqui
13m 1s tac
tac
13m 1s
wip .github/workflows/main.yml #1828: Commit 3607415 pushed by fblanqui
4m 45s tac
tac
4m 45s
wip .github/workflows/ocaml.yml #311: Commit 3607415 pushed by fblanqui
4m 48s tac
tac
4m 48s
wip .github/workflows/ocaml.yml #310: Commit 0b3a593 pushed by fblanqui
4m 39s tac
tac
4m 39s
wip .github/workflows/main.yml #1827: Commit 0b3a593 pushed by fblanqui
5m 4s tac
tac
5m 4s
wip .github/workflows/ocaml.yml #309: Commit fa51c6c pushed by fblanqui
4m 38s tac
tac
4m 38s
wip .github/workflows/main.yml #1826: Commit fa51c6c pushed by fblanqui
8m 41s tac
tac
8m 41s
wip .github/workflows/main.yml #1825: Commit d42b867 pushed by fblanqui
9m 1s tac
tac
9m 1s
wip .github/workflows/ocaml.yml #308: Commit 4308c3f pushed by fblanqui
4m 40s tac
tac
4m 40s
wip .github/workflows/main.yml #1824: Commit 4308c3f pushed by fblanqui
8m 32s tac
tac
8m 32s
wip .github/workflows/main.yml #1823: Commit 98440e4 pushed by fblanqui
5m 15s tac
tac
5m 15s
wip .github/workflows/main.yml #1822: Commit 66b11a8 pushed by fblanqui
9m 12s tac
tac
9m 12s
wip .github/workflows/main.yml #1821: Commit cc1ba75 pushed by fblanqui
8m 30s tac
tac
8m 30s
wip .github/workflows/ocaml.yml #307: Commit cc1ba75 pushed by fblanqui
4m 43s tac
tac
4m 43s
register and check the type of every builtin .github/workflows/main.yml #1820: Commit 961049c pushed by fblanqui
4m 39s tac
tac
4m 39s
register and check the type of every builtin .github/workflows/ocaml.yml #306: Commit 961049c pushed by fblanqui
4m 52s tac
tac
4m 52s
lpParser: fix some expected messages (#1459) .github/workflows/ocaml.yml #305: Commit ed7e853 pushed by fblanqui
4m 39s master
master
4m 39s
lpParser: fix some expected messages (#1459) .github/workflows/main.yml #1819: Commit ed7e853 pushed by fblanqui
8m 39s master
master
8m 39s
lpParser: fix some expected messages .github/workflows/ocaml.yml #304: Commit 1829f21 pushed by fblanqui
4m 33s expected
expected
4m 33s
lpParser: fix some expected messages .github/workflows/main.yml #1818: Commit 1829f21 pushed by fblanqui
7m 55s expected
expected
7m 55s
eval tactic: fail if the argument cannot be typed .github/workflows/ocaml.yml #303: Commit 7c9a2fb pushed by fblanqui
4m 38s eval
eval
4m 38s
eval tactic: fail if the argument cannot be typed .github/workflows/main.yml #1817: Commit 7c9a2fb pushed by fblanqui
4m 42s eval
eval
4m 42s
give better error message on forbidden identifiers (#1457) .github/workflows/main.yml #1816: Commit c07b0c3 pushed by fblanqui
8m 29s master
master
8m 29s
give better error message on forbidden identifiers (#1457) .github/workflows/ocaml.yml #302: Commit c07b0c3 pushed by fblanqui
4m 34s master
master
4m 34s