Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/ocaml.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
286 workflow runs
286 workflow runs

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 grammar change of #1368 and #1370 (#1372) .github/workflows/ocaml.yml #286: Commit fbbe050 pushed by fblanqui
4m 22s master
master
4m 22s
revert grammar change of #1368 and #1370 .github/workflows/ocaml.yml #285: Pull request #1372 opened by fblanqui
4m 24s fblanqui:revert
fblanqui:revert
4m 24s
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/ocaml.yml #284: Pull request #1371 synchronize by ciaran-matthew-dunne
57m 34s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
57m 34s
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/ocaml.yml #283: Pull request #1371 opened by ciaran-matthew-dunne
56m 26s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
56m 26s
fix(lsp): correctness bugs in positions, lookups, and session state .github/workflows/ocaml.yml #282: Pull request #1366 synchronize by ciaran-matthew-dunne
10m 23s ciaran-matthew-dunne:pr/lsp-correctness
ciaran-matthew-dunne:pr/lsp-correctness
10m 23s
fix doc .github/workflows/ocaml.yml #281: Pull request #1370 opened by fblanqui
4m 32s fblanqui:doc
fblanqui:doc
4m 32s
rewrite emacs SMIE grammar .github/workflows/ocaml.yml #280: Pull request #1369 opened by fblanqui
5m 36s fblanqui:smie
fblanqui:smie
5m 36s
grammar change: use commas in environments and unification rules (#1368) .github/workflows/ocaml.yml #279: Commit 4290d66 pushed by fblanqui
4m 25s master
master
4m 25s
grammar change: use commas in environments .github/workflows/ocaml.yml #278: Pull request #1368 synchronize by fblanqui
4m 24s fblanqui:env
fblanqui:env
4m 24s
grammar change: use commas in environments .github/workflows/ocaml.yml #277: Pull request #1368 synchronize by fblanqui
4m 18s fblanqui:env
fblanqui:env
4m 18s
grammar change: use commas in environments .github/workflows/ocaml.yml #276: Pull request #1368 synchronize by fblanqui
4m 50s fblanqui:env
fblanqui:env
4m 50s
grammar change: use commas in environments .github/workflows/ocaml.yml #275: Pull request #1368 synchronize by fblanqui
4m 23s fblanqui:env
fblanqui:env
4m 23s
grammar change: use commas in environments .github/workflows/ocaml.yml #274: Pull request #1368 opened by fblanqui
4m 19s fblanqui:env
fblanqui:env
4m 19s
fix matching with higher-order non-linear LHS (#1367) .github/workflows/ocaml.yml #273: Commit a552ae6 pushed by fblanqui
8m 2s master
master
8m 2s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #272: Pull request #1367 synchronize by fblanqui
4m 22s fblanqui:1362
fblanqui:1362
4m 22s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #271: Pull request #1367 synchronize by fblanqui
4m 15s fblanqui:1362
fblanqui:1362
4m 15s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #270: Pull request #1367 synchronize by fblanqui
4m 20s fblanqui:1362
fblanqui:1362
4m 20s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #269: Pull request #1367 synchronize by fblanqui
4m 38s fblanqui:1362
fblanqui:1362
4m 38s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #268: Pull request #1367 synchronize by fblanqui
4m 31s fblanqui:1362
fblanqui:1362
4m 31s
fix matching with higher-order non-linear LHS .github/workflows/ocaml.yml #267: Pull request #1367 opened by fblanqui
8m 9s fblanqui:1362
fblanqui:1362
8m 9s
fix(lsp): correctness bugs in positions, lookups, and session state .github/workflows/ocaml.yml #266: Pull request #1366 opened by ciaran-matthew-dunne
8m 20s ciaran-matthew-dunne:pr/lsp-correctness
ciaran-matthew-dunne:pr/lsp-correctness
8m 20s
Export/Import lpo .github/workflows/ocaml.yml #265: Pull request #1365 synchronize by Alidra
4m 27s Alidra:export_lpo
Alidra:export_lpo
4m 27s
Export/Import lpo .github/workflows/ocaml.yml #264: Pull request #1365 synchronize by Alidra
4m 26s Alidra:export_lpo
Alidra:export_lpo
4m 26s
Export/Import lpo .github/workflows/ocaml.yml #263: Pull request #1365 synchronize by Alidra
8m 53s Alidra:export_lpo
Alidra:export_lpo
8m 53s
Export/Import lpo .github/workflows/ocaml.yml #262: Pull request #1365 synchronize by Alidra
4m 29s Alidra:export_lpo
Alidra:export_lpo
4m 29s