Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
615 workflow runs
615 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
PR to update Dk lexer when Dk 2.8 is released .github/workflows/main.yml #1755: Commit b676ab4 pushed by fblanqui
8m 26s dk2.8lex
dk2.8lex
8m 26s
PR to update Dk lexer when Dk 2.8 is released .github/workflows/ocaml.yml #241: Commit b676ab4 pushed by fblanqui
4m 36s dk2.8lex
dk2.8lex
4m 36s
Improvements and new features for indexing (#1290) .github/workflows/vscode.yml #44: Commit b4665dc pushed by fblanqui
50s master
master
50s
Improvements and new features for indexing (#1290) .github/workflows/ocaml.yml #240: Commit b4665dc pushed by fblanqui
4m 53s master
master
4m 53s
Improvements and new features for indexing (#1290) .github/workflows/main.yml #1754: Commit b4665dc pushed by fblanqui
8m 35s master
master
8m 35s
update doc for lambdapi check (#1410) .github/workflows/ocaml.yml #239: Commit 2a5d2a0 pushed by fblanqui
4m 25s master
master
4m 25s
update doc for lambdapi check (#1410) .github/workflows/main.yml #1753: Commit 2a5d2a0 pushed by fblanqui
8m 37s master
master
8m 37s
update doc for lambdapi check (#1410) .github/workflows/vscode.yml #43: Commit 2a5d2a0 pushed by fblanqui
33s master
master
33s
update doc .github/workflows/main.yml #1752: Commit c2fd71f pushed by fblanqui
8m 16s doc
doc
8m 16s
update doc .github/workflows/ocaml.yml #238: Commit c2fd71f pushed by fblanqui
4m 42s doc
doc
4m 42s
fix error message in SR checking (#1403) .github/workflows/ocaml.yml #237: Commit 6f58ff9 pushed by fblanqui
4m 36s master
master
4m 36s
fix error message in SR checking (#1403) .github/workflows/main.yml #1751: Commit 6f58ff9 pushed by fblanqui
8m 28s master
master
8m 28s
wip .github/workflows/main.yml #1750: Commit 301f6d7 pushed by fblanqui
8m 39s sr
sr
8m 39s
wip .github/workflows/ocaml.yml #236: Commit 301f6d7 pushed by fblanqui
4m 32s sr
sr
4m 32s
wip .github/workflows/ocaml.yml #235: Commit eb3b567 pushed by fblanqui
4m 42s sr
sr
4m 42s
wip .github/workflows/main.yml #1749: Commit eb3b567 pushed by fblanqui
8m 10s sr
sr
8m 10s
wip .github/workflows/ocaml.yml #234: Commit 73b1d9c pushed by fblanqui
6m 26s sr
sr
6m 26s
wip .github/workflows/main.yml #1748: Commit 73b1d9c pushed by fblanqui
8m 41s sr
sr
8m 41s
wip .github/workflows/ocaml.yml #233: Commit 7dffb2e pushed by fblanqui
11m 17s sr
sr
11m 17s
wip .github/workflows/main.yml #1747: Commit 7dffb2e pushed by fblanqui
10m 12s sr
sr
10m 12s
wip .github/workflows/main.yml #1746: Commit 8c70a0c pushed by fblanqui
56m 40s sr
sr
56m 40s
wip .github/workflows/main.yml #1745: Commit 25a92de pushed by fblanqui
4m 51s sr
sr
4m 51s
wip .github/workflows/ocaml.yml #232: Commit 25a92de pushed by fblanqui
4m 24s sr
sr
4m 24s
wip .github/workflows/main.yml #1744: Commit 949d671 pushed by fblanqui
4m 55s sr
sr
4m 55s
wip .github/workflows/ocaml.yml #231: Commit 949d671 pushed by fblanqui
4m 22s sr
sr
4m 22s