Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
715 workflow runs
715 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
revert changes in indexing.ml .github/workflows/main.yml #1806: Commit 60558fb pushed by fblanqui
7m 49s pos
pos
7m 49s
revert changes in indexing.ml .github/workflows/ocaml.yml #292: Commit 60558fb pushed by fblanqui
4m 51s pos
pos
4m 51s
fix parsing of bare open: do not load modules as require open does (#… .github/workflows/ocaml.yml #291: Commit 3a1bf4f pushed by fblanqui
8m 31s master
master
8m 31s
fix parsing of bare open: do not load modules as require open does (#… .github/workflows/main.yml #1805: Commit 3a1bf4f pushed by fblanqui
12m 59s master
master
12m 59s
wip .github/workflows/ocaml.yml #290: Commit 27a3949 pushed by fblanqui
4m 30s pos
pos
4m 30s
wip .github/workflows/main.yml #1804: Commit 27a3949 pushed by fblanqui
8m 2s pos
pos
8m 2s
fix virtual positions for symbols and rules generated by inductive .github/workflows/main.yml #1803: Commit 2aa1601 pushed by fblanqui
11m 30s pos
pos
11m 30s
fix virtual positions for symbols and rules generated by inductive .github/workflows/ocaml.yml #289: Commit 2aa1601 pushed by fblanqui
9m 11s pos
pos
9m 11s
LSP: fix go-to-definition, hover, and stale session state (#1366) .github/workflows/ocaml.yml #288: Commit ec24f61 pushed by fblanqui
3m 41s master
master
3m 41s
LSP: fix go-to-definition, hover, and stale session state (#1366) .github/workflows/main.yml #1802: Commit ec24f61 pushed by fblanqui
3m 41s master
master
3m 41s
fix parsing of debug flags .github/workflows/main.yml #1801: Commit d2f0749 pushed by fblanqui
8m 35s flag
flag
8m 35s
fix parsing of debug flags .github/workflows/ocaml.yml #287: Commit d2f0749 pushed by fblanqui
4m 36s flag
flag
4m 36s
fix longest-prefix bug; add to CHANGES.md (#1443) .github/workflows/ocaml.yml #286: Commit 9266beb pushed by fblanqui
4m 44s master
master
4m 44s
fix longest-prefix bug; add to CHANGES.md (#1443) .github/workflows/main.yml #1800: Commit 9266beb pushed by fblanqui
8m 5s master
master
8m 5s
fix #assume (#1442) .github/workflows/emacs.yml #27: Commit b5ec511 pushed by fblanqui
1m 5s master
master
1m 5s
fix #assume (#1442) .github/workflows/vscode.yml #52: Commit b5ec511 pushed by fblanqui
40s master
master
40s
fix #assume (#1442) .github/workflows/main.yml #1799: Commit b5ec511 pushed by fblanqui
8m 30s master
master
8m 30s
fix #assume (#1442) .github/workflows/ocaml.yml #285: Commit b5ec511 pushed by fblanqui
4m 26s master
master
4m 26s
wip .github/workflows/main.yml #1798: Commit a2e51ca pushed by fblanqui
8m 32s assume
assume
8m 32s
wip .github/workflows/ocaml.yml #284: Commit a2e51ca pushed by fblanqui
4m 38s assume
assume
4m 38s
wip .github/workflows/ocaml.yml #283: Commit beba7b9 pushed by fblanqui
4m 38s assume
assume
4m 38s
wip .github/workflows/main.yml #1797: Commit beba7b9 pushed by fblanqui
8m 37s assume
assume
8m 37s
wip .github/workflows/ocaml.yml #282: Commit a0a8dca pushed by fblanqui
4m 30s assume
assume
4m 30s
wip .github/workflows/main.yml #1796: Commit a0a8dca pushed by fblanqui
7m 8s assume
assume
7m 8s
fix #assume .github/workflows/main.yml #1795: Commit 9f02875 pushed by fblanqui
5m 3s assume
assume
5m 3s