Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/emacs.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
emacs.yml
136 workflow runs
136 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/emacs.yml #136: Commit fbbe050 pushed by fblanqui
58s master
master
58s
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
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/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/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 doc .github/workflows/emacs.yml #131: Pull request #1370 opened by fblanqui
42s fblanqui:doc
fblanqui:doc
42s
rewrite emacs SMIE grammar .github/workflows/emacs.yml #130: Pull request #1369 opened by fblanqui
1m 5s fblanqui:smie
fblanqui:smie
1m 5s
grammar change: use commas in environments and unification rules (#1368) .github/workflows/emacs.yml #129: Commit 4290d66 pushed by fblanqui
1m 7s master
master
1m 7s
grammar change: use commas in environments .github/workflows/emacs.yml #128: Pull request #1368 synchronize by fblanqui
1m 3s fblanqui:env
fblanqui:env
1m 3s
grammar change: use commas in environments .github/workflows/emacs.yml #127: Pull request #1368 synchronize by fblanqui
1m 10s fblanqui:env
fblanqui:env
1m 10s
grammar change: use commas in environments .github/workflows/emacs.yml #126: Pull request #1368 synchronize by fblanqui
44s fblanqui:env
fblanqui:env
44s
grammar change: use commas in environments .github/workflows/emacs.yml #125: Pull request #1368 synchronize by fblanqui
1m 14s fblanqui:env
fblanqui:env
1m 14s
grammar change: use commas in environments .github/workflows/emacs.yml #124: Pull request #1368 opened by fblanqui
1m 7s fblanqui:env
fblanqui:env
1m 7s
fix matching with higher-order non-linear LHS .github/workflows/emacs.yml #123: Pull request #1367 synchronize by fblanqui
1m 19s fblanqui:1362
fblanqui:1362
1m 19s
fix matching with higher-order non-linear LHS .github/workflows/emacs.yml #122: Pull request #1367 synchronize by fblanqui
1m 21s fblanqui:1362
fblanqui:1362
1m 21s
fix matching with higher-order non-linear LHS .github/workflows/emacs.yml #121: Pull request #1367 synchronize by fblanqui
1m 23s fblanqui:1362
fblanqui:1362
1m 23s
fix matching with higher-order non-linear LHS .github/workflows/emacs.yml #120: Pull request #1367 synchronize by fblanqui
1m 19s fblanqui:1362
fblanqui:1362
1m 19s
fix matching with higher-order non-linear LHS .github/workflows/emacs.yml #119: Pull request #1367 synchronize by fblanqui
1m 23s fblanqui:1362
fblanqui:1362
1m 23s
fix matching with higher-order non-linear LHS .github/workflows/emacs.yml #118: Pull request #1367 opened by fblanqui
1m 38s fblanqui:1362
fblanqui:1362
1m 38s
fix(lsp): correctness bugs in positions, lookups, and session state .github/workflows/emacs.yml #117: Pull request #1366 opened by ciaran-matthew-dunne
1m 4s ciaran-matthew-dunne:pr/lsp-correctness
ciaran-matthew-dunne:pr/lsp-correctness
1m 4s
Export/Import lpo .github/workflows/emacs.yml #116: Pull request #1365 synchronize by Alidra
1m 9s Alidra:export_lpo
Alidra:export_lpo
1m 9s
Export/Import lpo .github/workflows/emacs.yml #115: Pull request #1365 synchronize by Alidra
1m 17s Alidra:export_lpo
Alidra:export_lpo
1m 17s
Export/Import lpo .github/workflows/emacs.yml #114: Pull request #1365 synchronize by Alidra
49s Alidra:export_lpo
Alidra:export_lpo
49s
Export/Import lpo .github/workflows/emacs.yml #113: Pull request #1365 synchronize by Alidra
1m 8s Alidra:export_lpo
Alidra:export_lpo
1m 8s
Export/Import lpo .github/workflows/emacs.yml #112: Pull request #1365 synchronize by Alidra
1m 6s Alidra:export_lpo
Alidra:export_lpo
1m 6s