Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,278 workflow runs
1,278 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 grammar change of #1368 and #1370 (#1372) .github/workflows/emacs.yml #136: Commit fbbe050 pushed by fblanqui
58s master
master
58s
revert grammar change of #1368 and #1370 (#1372) .github/workflows/main.yml #3100: Commit fbbe050 pushed by fblanqui
8m 26s master
master
8m 26s
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/main.yml #3099: Pull request #1372 opened by fblanqui
8m 11s fblanqui:revert
fblanqui:revert
8m 11s
revert grammar change of #1368 and #1370 .github/workflows/emacs.yml #135: Pull request #1372 opened by fblanqui
1m 3s fblanqui:revert
fblanqui:revert
1m 3s
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
revert grammar change of #1368 and #1370 .github/workflows/vscode.yml #327: Pull request #1372 opened by fblanqui
36s fblanqui:revert
fblanqui:revert
36s
npm_and_yarn in /editors/vscode for uuid - Update #1334096817 Dependabot Updates #54: by dependabot Bot
54s master
master
54s
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/emacs.yml #134: Pull request #1371 synchronize by ciaran-matthew-dunne
44s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
44s
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/vscode.yml #326: Pull request #1371 synchronize by ciaran-matthew-dunne
38s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
38s
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/main.yml #3098: Pull request #1371 synchronize by ciaran-matthew-dunne
42s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
42s
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
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/vscode.yml #325: Pull request #1371 opened by ciaran-matthew-dunne
39s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
39s
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/main.yml #3097: Pull request #1371 opened by ciaran-matthew-dunne
11s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
11s
feat(lsp): UX additions — completions, debouncing, outlines, tests .github/workflows/emacs.yml #133: Pull request #1371 opened by ciaran-matthew-dunne
1m 12s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
1m 12s
fix(lsp): correctness bugs in positions, lookups, and session state .github/workflows/vscode.yml #324: Pull request #1366 synchronize by ciaran-matthew-dunne
1m 6s ciaran-matthew-dunne:pr/lsp-correctness
ciaran-matthew-dunne:pr/lsp-correctness
1m 6s
fix(lsp): correctness bugs in positions, lookups, and session state .github/workflows/emacs.yml #132: Pull request #1366 synchronize by ciaran-matthew-dunne
46s ciaran-matthew-dunne:pr/lsp-correctness
ciaran-matthew-dunne:pr/lsp-correctness
46s
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(lsp): correctness bugs in positions, lookups, and session state .github/workflows/main.yml #3096: Pull request #1366 synchronize by ciaran-matthew-dunne
10m 8s ciaran-matthew-dunne:pr/lsp-correctness
ciaran-matthew-dunne:pr/lsp-correctness
10m 8s
fix doc .github/workflows/main.yml #3095: Pull request #1370 opened by fblanqui
8m 31s fblanqui:doc
fblanqui:doc
8m 31s
fix doc .github/workflows/ocaml.yml #281: Pull request #1370 opened by fblanqui
4m 32s fblanqui:doc
fblanqui:doc
4m 32s
fix doc .github/workflows/emacs.yml #131: Pull request #1370 opened by fblanqui
42s fblanqui:doc
fblanqui:doc
42s
fix doc .github/workflows/vscode.yml #323: Pull request #1370 opened by fblanqui
39s fblanqui:doc
fblanqui:doc
39s
rewrite emacs SMIE grammar .github/workflows/ocaml.yml #280: Pull request #1369 opened by fblanqui
5m 36s fblanqui:smie
fblanqui:smie
5m 36s