Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow runs
747 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 #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
wip .github/workflows/ocaml.yml #301: Commit 2358864 pushed by fblanqui
5m 31s lex
lex
5m 31s
wip .github/workflows/main.yml #1815: Commit 2358864 pushed by fblanqui
8m 32s lex
lex
8m 32s
give better error message on forbidden identifiers .github/workflows/main.yml #1814: Commit 5437b2d pushed by fblanqui
8m 47s lex
lex
8m 47s
give better error message on forbidden identifiers .github/workflows/ocaml.yml #300: Commit 5437b2d pushed by fblanqui
4m 37s lex
lex
4m 37s
Do not fail in case of moved file (#1439) .github/workflows/ocaml.yml #299: Commit 1ac2f3c pushed by fblanqui
4m 36s master
master
4m 36s
Do not fail in case of moved file (#1439) .github/workflows/main.yml #1813: Commit 1ac2f3c pushed by fblanqui
8m 47s master
master
8m 47s
Report the proof state when an error occurs during a proof (#1453) .github/workflows/ocaml.yml #298: Commit 701cf69 pushed by fblanqui
4m 32s master
master
4m 32s
Report the proof state when an error occurs during a proof (#1453) .github/workflows/main.yml #1812: Commit 701cf69 pushed by fblanqui
8m 41s master
master
8m 41s
indexing: use String.remove_prefix (#1455) .github/workflows/ocaml.yml #297: Commit 8a02c23 pushed by fblanqui
4m 38s master
master
4m 38s
indexing: use String.remove_prefix (#1455) .github/workflows/main.yml #1811: Commit 8a02c23 pushed by fblanqui
9m 3s master
master
9m 3s
indexing: use String.remove_prefix .github/workflows/ocaml.yml #296: Commit 7b51535 pushed by fblanqui
4m 47s prefix
prefix
4m 47s