Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
631 workflow runs
631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing diagnostics (#1317) .github/workflows/emacs.yml #6: Commit 4fd4704 pushed by fblanqui
1m 7s master
master
1m 7s
Fixing diagnostics (#1317) .github/workflows/ocaml.yml #143: Commit 4fd4704 pushed by fblanqui
4m 16s master
master
4m 16s
Fixing diagnostics (#1317) .github/workflows/main.yml #1651: Commit 4fd4704 pushed by fblanqui
8m 5s master
master
8m 5s
opam file: update constraints on cmdliner (#1349) .github/workflows/main.yml #1650: Commit 93b921f pushed by fblanqui
8m 14s master
master
8m 14s
opam file: update constraints on cmdliner (#1349) .github/workflows/ocaml.yml #142: Commit 93b921f pushed by fblanqui
4m 20s master
master
4m 20s
opam file: update constraints on cmdliner .github/workflows/ocaml.yml #141: Commit b69c002 pushed by fblanqui
4m 19s cmdliner
cmdliner
4m 19s
opam file: update constraints on cmdliner .github/workflows/main.yml #1649: Commit b69c002 pushed by fblanqui
8m 11s cmdliner
cmdliner
8m 11s
change the name of path var in map_dir to make compatible with cmdlin… .github/workflows/ocaml.yml #140: Commit 8e27c0f pushed by fblanqui
4m 25s master
master
4m 25s
change the name of path var in map_dir to make compatible with cmdlin… .github/workflows/main.yml #1648: Commit 8e27c0f pushed by fblanqui
8m 12s master
master
8m 12s
fix parsing of proof steps (#1347) .github/workflows/ocaml.yml #139: Commit 8631cbe pushed by fblanqui
4m 23s master
master
4m 23s
fix parsing of proof steps (#1347) .github/workflows/vscode.yml #31: Commit 8631cbe pushed by fblanqui
37s master
master
37s
fix parsing of proof steps (#1347) .github/workflows/main.yml #1647: Commit 8631cbe pushed by fblanqui
7m 23s master
master
7m 23s
fix parsing of proof steps .github/workflows/ocaml.yml #138: Commit d482582 pushed by fblanqui
4m 36s parse
parse
4m 36s
fix parsing of proof steps .github/workflows/main.yml #1646: Commit d482582 pushed by fblanqui
8m 6s parse
parse
8m 6s
fix parsing of proof steps .github/workflows/vscode.yml #30: Commit d482582 pushed by fblanqui
34s parse
parse
34s
tests: update stdlib files (#1344) .github/workflows/ocaml.yml #137: Commit 37da6b9 pushed by fblanqui
4m 50s master
master
4m 50s
tests: update stdlib files (#1344) .github/workflows/main.yml #1645: Commit 37da6b9 pushed by fblanqui
8m 10s master
master
8m 10s
wip .github/workflows/main.yml #1644: Commit cb653fa pushed by fblanqui
8m 39s stdlib
stdlib
8m 39s
tests: update stdlib files .github/workflows/main.yml #1643: Commit 403722d pushed by fblanqui
8m 26s stdlib
stdlib
8m 26s
tests: update stdlib files .github/workflows/ocaml.yml #136: Commit 403722d pushed by fblanqui
4m 49s stdlib
stdlib
4m 49s
fix LibTerm.fold .github/workflows/ocaml.yml #135: Commit 58469ac pushed by fblanqui
4m 49s set
set
4m 49s
fix LibTerm.fold .github/workflows/main.yml #1642: Commit 58469ac pushed by fblanqui
8m 46s set
set
8m 46s
fix printing of hypotheses .github/workflows/ocaml.yml #134: Commit ddb9634 pushed by fblanqui
4m 53s goal
goal
4m 53s
fix printing of hypotheses .github/workflows/main.yml #1641: Commit ddb9634 pushed by fblanqui
8m 41s goal
goal
8m 41s
Bump undici from 7.10.0 to 7.18.2 in /editors/vscode (#1341) .github/workflows/vscode.yml #29: Commit 50c86ac pushed by fblanqui
1m 9s master
master
1m 9s