Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
810 workflow runs
810 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/emacs.yml #43: Commit 08876fd pushed by fblanqui
56s emacs
emacs
56s
wip .github/workflows/emacs.yml #42: Commit 7e528a6 pushed by fblanqui
54s emacs
emacs
54s
wip .github/workflows/emacs.yml #41: Commit 1834e05 pushed by fblanqui
14s emacs
emacs
14s
wip .github/workflows/emacs.yml #40: Commit 8c4bdbb pushed by fblanqui
1m 24s emacs
emacs
1m 24s
wip .github/workflows/emacs.yml #39: Commit 41d4fe1 pushed by fblanqui
38s emacs
emacs
38s
wip .github/workflows/ocaml.yml #378: Commit 41d4fe1 pushed by fblanqui
5m 1s emacs
emacs
5m 1s
wip .github/workflows/main.yml #1916: Commit 41d4fe1 pushed by fblanqui
7m 37s emacs
emacs
7m 37s
wip .github/workflows/main.yml #1915: Commit bcbee43 pushed by fblanqui
9m 20s emacs
emacs
9m 20s
wip .github/workflows/vscode.yml #62: Commit ee5d77e pushed by fblanqui
45s emacs
emacs
45s
wip .github/workflows/ocaml.yml #377: Commit ee5d77e pushed by fblanqui
5m 34s emacs
emacs
5m 34s
wip .github/workflows/emacs.yml #38: Commit 7cac75b pushed by fblanqui
30s emacs
emacs
30s
simplify Pretty.term (#1496) .github/workflows/ocaml.yml #376: Commit 7adcf4f pushed by fblanqui
4m 42s master
master
4m 42s
simplify Pretty.term (#1496) .github/workflows/main.yml #1914: Commit 7adcf4f pushed by fblanqui
5m 44s master
master
5m 44s
wip .github/workflows/ocaml.yml #375: Commit e71d1e8 pushed by fblanqui
4m 31s pretty
pretty
4m 31s
wip .github/workflows/main.yml #1913: Commit e71d1e8 pushed by fblanqui
5m 39s pretty
pretty
5m 39s
wip .github/workflows/main.yml #1912: Commit 90ecd63 pushed by fblanqui
6m 10s pretty
pretty
6m 10s
wip .github/workflows/ocaml.yml #374: Commit 90ecd63 pushed by fblanqui
5m 1s pretty
pretty
5m 1s
wip .github/workflows/main.yml #1911: Commit cac6ee8 pushed by fblanqui
4m 50s pretty
pretty
4m 50s
wip .github/workflows/ocaml.yml #373: Commit cac6ee8 pushed by fblanqui
4m 47s pretty
pretty
4m 47s
Merge remote-tracking branch 'dk/master' into pretty .github/workflows/ocaml.yml #372: Commit c03b9fe pushed by fblanqui
4m 55s pretty
pretty
4m 55s
Merge remote-tracking branch 'dk/master' into pretty .github/workflows/main.yml #1910: Commit c03b9fe pushed by fblanqui
5m 34s pretty
pretty
5m 34s
add test file 1493 .github/workflows/main.yml #1909: Commit 0c0d77d pushed by fblanqui
5m 12s p_term
p_term
5m 12s
fix conversion from term to p_term .github/workflows/main.yml #1908: Commit 7f4dfec pushed by fblanqui
6m 7s p_term
p_term
6m 7s
fix conversion from term to p_term .github/workflows/ocaml.yml #371: Commit 7f4dfec pushed by fblanqui
5m 40s p_term
p_term
5m 40s
lean export: fix translation of let + declare theorems as nonrec symb… .github/workflows/main.yml #1907: Commit 4e2ccb9 pushed by fblanqui
5m 46s master
master
5m 46s