Skip to content

Actions: fblanqui/lambdapi

Actions

.github/workflows/emacs.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
emacs.yml
14 workflow runs
14 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 #14: Commit fbbe050 pushed by fblanqui
1m 21s master
master
1m 21s
wip .github/workflows/emacs.yml #13: Commit 3ac23d5 pushed by fblanqui
53s smie
smie
53s
revert grammar change in #1368 and #1370 .github/workflows/emacs.yml #12: Commit a720607 pushed by fblanqui
1m 0s revert
revert
1m 0s
rewrite emacs SMIE grammar .github/workflows/emacs.yml #11: Commit a87bc64 pushed by fblanqui
1m 5s smie
smie
1m 5s
grammar change: use commas in environments and unification rules (#1368) .github/workflows/emacs.yml #10: Commit 4290d66 pushed by fblanqui
1m 8s master
master
1m 8s
wip .github/workflows/emacs.yml #9: Commit eb7b990 pushed by fblanqui
1m 11s env
env
1m 11s
Rocq export: rename identifiers that are in the codomain of the renam… .github/workflows/emacs.yml #8: Commit 9620b15 pushed by fblanqui
1m 8s master
master
1m 8s
Merge remote-tracking branch 'dk/master' into 5.4.1 .github/workflows/emacs.yml #7: Commit f3b7858 pushed by fblanqui
1m 11s 5.4.1
5.4.1
1m 11s
Fixing diagnostics (#1317) .github/workflows/emacs.yml #6: Commit 4fd4704 pushed by fblanqui
1m 7s master
master
1m 7s
Bump undici from 7.10.0 to 7.18.2 in /editors/vscode (#1341) .github/workflows/emacs.yml #5: Commit 50c86ac pushed by fblanqui
1m 20s master
master
1m 20s
Merge remote-tracking branch 'dk/master' into lean .github/workflows/emacs.yml #4: Commit f614eeb pushed by fblanqui
1m 12s lean
lean
1m 12s
Merge remote-tracking branch 'dk/master' into parse .github/workflows/emacs.yml #3: Commit b352127 pushed by fblanqui
1m 16s parse
parse
1m 16s
Bump actions/setup-node from 5 to 6 (#1320) .github/workflows/emacs.yml #2: Commit 918f0e9 pushed by fblanqui
52s master
master
52s
Emacs test pipeline (#1301) .github/workflows/emacs.yml #1: Commit 994691d pushed by fblanqui
59s master
master
59s