Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
666 workflow runs
666 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
fix lean export (#1429) .github/workflows/main.yml #1780: Commit 15550d2 pushed by fblanqui
8m 34s master
master
8m 34s
fix lean export (#1429) .github/workflows/ocaml.yml #266: Commit 15550d2 pushed by fblanqui
4m 31s master
master
4m 31s
fix lean export .github/workflows/ocaml.yml #265: Commit 1f7301e pushed by fblanqui
4m 35s lean
lean
4m 35s
fix lean export .github/workflows/main.yml #1779: Commit 1f7301e pushed by fblanqui
8m 44s lean
lean
8m 44s
Parsing fix: preserve the stream when backtracking in list combinator… .github/workflows/ocaml.yml #264: Commit 1388e61 pushed by fblanqui
4m 44s master
master
4m 44s
Parsing fix: preserve the stream when backtracking in list combinator… .github/workflows/main.yml #1778: Commit 1388e61 pushed by fblanqui
7m 45s master
master
7m 45s
Fix indexing and query parsing issues (#1424) .github/workflows/main.yml #1777: Commit 3598ca5 pushed by fblanqui
8m 58s master
master
8m 58s
Fix indexing and query parsing issues (#1424) .github/workflows/ocaml.yml #263: Commit 3598ca5 pushed by fblanqui
4m 28s master
master
4m 28s
add tactic first_hyp (#1425) .github/workflows/vscode.yml #49: Commit fe5b11c pushed by fblanqui
42s master
master
42s
add tactic first_hyp (#1425) .github/workflows/emacs.yml #24: Commit fe5b11c pushed by fblanqui
1m 12s master
master
1m 12s
add tactic first_hyp (#1425) .github/workflows/main.yml #1776: Commit fe5b11c pushed by fblanqui
9m 5s master
master
9m 5s
add tactic first_hyp (#1425) .github/workflows/ocaml.yml #262: Commit fe5b11c pushed by fblanqui
4m 20s master
master
4m 20s
Add #print + change interface of #assume (#1422) .github/workflows/main.yml #1775: Commit e4d41fa pushed by fblanqui
8m 37s master
master
8m 37s
Add #print + change interface of #assume (#1422) .github/workflows/ocaml.yml #261: Commit e4d41fa pushed by fblanqui
4m 36s master
master
4m 36s
Add export to Lean (#1197) .github/workflows/main.yml #1774: Commit 12d515c pushed by fblanqui
8m 57s master
master
8m 57s
Add export to Lean (#1197) .github/workflows/ocaml.yml #260: Commit 12d515c pushed by fblanqui
4m 23s master
master
4m 23s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/main.yml #1773: Commit c5e6085 pushed by fblanqui
8m 35s lean
lean
8m 35s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/ocaml.yml #259: Commit c5e6085 pushed by fblanqui
4m 46s lean
lean
4m 46s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/emacs.yml #23: Commit c5e6085 pushed by fblanqui
59s lean
lean
59s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/vscode.yml #48: Commit c5e6085 pushed by fblanqui
37s lean
lean
37s
wip .github/workflows/ocaml.yml #258: Commit d92d88b pushed by fblanqui
4m 36s lean
lean
4m 36s
wip .github/workflows/main.yml #1772: Commit d92d88b pushed by fblanqui
8m 48s lean
lean
8m 48s
flag without argument prints the list of possible flags (#1423) .github/workflows/ocaml.yml #257: Commit 5994dc5 pushed by fblanqui
4m 28s master
master
4m 28s
flag without argument prints the list of possible flags (#1423) .github/workflows/main.yml #1771: Commit 5994dc5 pushed by fblanqui
8m 50s master
master
8m 50s
flag without argument prints the list of possible flags .github/workflows/ocaml.yml #256: Commit 453faa4 pushed by fblanqui
4m 52s flag
flag
4m 52s