Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
609 workflow runs
609 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

do not fail when redefining a builtin (#1337) .github/workflows/main.yml #1639: Commit f5f9847 pushed by fblanqui
8m 12s master
master
8m 12s
do not fail when redefining a builtin (#1337) .github/workflows/ocaml.yml #132: Commit f5f9847 pushed by fblanqui
4m 45s master
master
4m 45s
do not fail when redefining a builtin .github/workflows/ocaml.yml #131: Commit 8a4a0fc pushed by fblanqui
4m 38s builtin
builtin
4m 38s
do not fail when redefining a builtin .github/workflows/main.yml #1638: Commit 8a4a0fc pushed by fblanqui
8m 11s builtin
builtin
8m 11s
remove why3 .github/workflows/ocaml.yml #130: Commit 6ab979b pushed by fblanqui
4m 39s no-why3
no-why3
4m 39s
remove why3 .github/workflows/main.yml #1637: Commit 6ab979b pushed by fblanqui
7m 26s no-why3
no-why3
7m 26s
fix odoc (#1334) .github/workflows/main.yml #1636: Commit 252a217 pushed by fblanqui
8m 6s master
master
8m 6s
fix odoc (#1334) .github/workflows/ocaml.yml #129: Commit 252a217 pushed by fblanqui
4m 35s master
master
4m 35s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/vscode.yml #28: Commit f614eeb pushed by fblanqui
38s lean
lean
38s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/ocaml.yml #128: Commit f614eeb pushed by fblanqui
4m 49s lean
lean
4m 49s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/main.yml #1635: Commit f614eeb pushed by fblanqui
8m 56s lean
lean
8m 56s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/emacs.yml #4: Commit f614eeb pushed by fblanqui
1m 12s lean
lean
1m 12s
fix odoc .github/workflows/main.yml #1634: Commit 6a3d8cf pushed by fblanqui
8m 24s odoc
odoc
8m 24s
fix odoc .github/workflows/ocaml.yml #127: Commit 6a3d8cf pushed by fblanqui
4m 45s odoc
odoc
4m 45s
get rid of cmdliner .github/workflows/main.yml #1633: Commit 1fc4248 pushed by fblanqui
8m 24s cli
cli
8m 24s
get rid of cmdliner .github/workflows/ocaml.yml #126: Commit 1fc4248 pushed by fblanqui
4m 48s cli
cli
4m 48s
Bump jws from 3.2.2 to 3.2.3 in /editors/vscode (#1332) .github/workflows/vscode.yml #27: Commit bba9c31 pushed by fblanqui
38s master
master
38s
allow decimal notation for multiple types (#1329) .github/workflows/ocaml.yml #125: Commit 57068a5 pushed by fblanqui
4m 43s master
master
4m 43s
allow decimal notation for multiple types (#1329) .github/workflows/main.yml #1632: Commit 57068a5 pushed by fblanqui
8m 15s master
master
8m 15s
wip .github/workflows/main.yml #1631: Commit b21bb87 pushed by fblanqui
8m 23s decimal
decimal
8m 23s
add test file .github/workflows/main.yml #1630: Commit 0cc7b71 pushed by fblanqui
8m 16s decimal
decimal
8m 16s
wip .github/workflows/main.yml #1629: Commit 3a0ffa2 pushed by fblanqui
8m 32s decimal
decimal
8m 32s
wip .github/workflows/ocaml.yml #124: Commit 3a0ffa2 pushed by fblanqui
4m 50s decimal
decimal
4m 50s
wip .github/workflows/main.yml #1628: Commit e81d3bd pushed by fblanqui
8m 23s emacs
emacs
8m 23s
wip .github/workflows/ocaml.yml #123: Commit e81d3bd pushed by fblanqui
4m 54s emacs
emacs
4m 54s