Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
767 workflow runs
767 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 printing of types (#1508) .github/workflows/main.yml #1931: Commit 20f954d pushed by fblanqui
5m 43s master
master
5m 43s
fix printing of types (#1508) .github/workflows/ocaml.yml #390: Commit 20f954d pushed by fblanqui
4m 41s master
master
4m 41s
minimize parentheses in domains .github/workflows/main.yml #1930: Commit 9055944 pushed by fblanqui
5m 33s print
print
5m 33s
minimize parentheses in domains .github/workflows/ocaml.yml #389: Commit 9055944 pushed by fblanqui
4m 40s print
print
4m 40s
Fix error location reporting for required files in LP console (#1499) .github/workflows/main.yml #1929: Commit 47f2080 pushed by fblanqui
8m 30s master
master
8m 30s
Fix error location reporting for required files in LP console (#1499) .github/workflows/vscode.yml #67: Commit 47f2080 pushed by fblanqui
33s master
master
33s
Fix error location reporting for required files in LP console (#1499) .github/workflows/ocaml.yml #388: Commit 47f2080 pushed by fblanqui
4m 47s master
master
4m 47s
ci: use ocaml 5.5.1 .github/workflows/main.yml #1928: Commit ed5170a pushed by fblanqui
9m 51s ocaml.5.5.1
ocaml.5.5.1
9m 51s
ci: use ocaml 5.5.1 .github/workflows/vscode.yml #66: Commit ed5170a pushed by fblanqui
38s ocaml.5.5.1
ocaml.5.5.1
38s
Fix command lsp (#1500) .github/workflows/ocaml.yml #387: Commit 6c24188 pushed by fblanqui
4m 53s master
master
4m 53s
Fix command lsp (#1500) .github/workflows/main.yml #1927: Commit 6c24188 pushed by fblanqui
6m 35s master
master
6m 35s
wip .github/workflows/main.yml #1926: Commit 7fdb13c pushed by fblanqui
7m 13s lsp
lsp
7m 13s
wip .github/workflows/ocaml.yml #386: Commit 7fdb13c pushed by fblanqui
13m 18s lsp
lsp
13m 18s
wip .github/workflows/ocaml.yml #385: Commit bc431d8 pushed by fblanqui
10m 18s lsp
lsp
10m 18s
wip .github/workflows/main.yml #1925: Commit bc431d8 pushed by fblanqui
8m 38s lsp
lsp
8m 38s
allow -v 0 instead of -v0 (#1497) .github/workflows/main.yml #1924: Commit 0629179 pushed by fblanqui
5m 49s master
master
5m 49s
allow -v 0 instead of -v0 (#1497) .github/workflows/ocaml.yml #384: Commit 0629179 pushed by fblanqui
4m 51s master
master
4m 51s
wip .github/workflows/main.yml #1923: Commit 2a6baa7 pushed by fblanqui
5m 38s verbose
verbose
5m 38s
test lambdapi-zenon .github/workflows/main.yml #1922: Commit 7a8d1d6 pushed by fblanqui
5m 46s verbose
verbose
5m 46s
allow -v 0 instead of -v0 .github/workflows/ocaml.yml #383: Commit 416ed07 pushed by fblanqui
10m 57s verbose
verbose
10m 57s
allow -v 0 instead of -v0 .github/workflows/main.yml #1921: Commit 416ed07 pushed by fblanqui
6m 0s verbose
verbose
6m 0s
get rid of cmdliner (#1333) .github/workflows/main.yml #1920: Commit 0cd6d6e pushed by fblanqui
5m 38s master
master
5m 38s
get rid of cmdliner (#1333) .github/workflows/ocaml.yml #382: Commit 0cd6d6e pushed by fblanqui
16m 7s master
master
16m 7s
get rid of cmdliner (#1333) .github/workflows/vscode.yml #65: Commit 0cd6d6e pushed by fblanqui
42s master
master
42s
fix option -h .github/workflows/ocaml.yml #381: Commit a0a750a pushed by fblanqui
4m 31s cli
cli
4m 31s