Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/emacs.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
emacs.yml
110 workflow runs
110 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
Export/Import lpo .github/workflows/emacs.yml #110: Pull request #1365 synchronize by Alidra
1m 32s Alidra:export_lpo
Alidra:export_lpo
1m 32s
Export/Import lpo .github/workflows/emacs.yml #109: Pull request #1365 opened by Alidra
1m 13s Alidra:export_lpo
Alidra:export_lpo
1m 13s
Rocq export: rename identifiers that are in the codomain of the renaming map .github/workflows/emacs.yml #108: Pull request #1346 synchronize by agontard
43s agontard:name_collisions
agontard:name_collisions
43s
Bump brace-expansion in /editors/vscode .github/workflows/emacs.yml #107: Pull request #1361 opened by dependabot bot
1m 6s dependabot/npm_and_yarn/editors/vscode/multi-57404e07ab
dependabot/npm_and_yarn/editors/vscode/multi-57404e07ab
1m 6s
Remove warnings when compiling Lambdapi-mode in Emacs (#1360) .github/workflows/emacs.yml #106: Commit f8b222c pushed by fblanqui
41s master
master
41s
Remove warnings when compiling Lambdapi-mode in Emacs .github/workflows/emacs.yml #105: Pull request #1360 synchronize by Alidra
45s Alidra:master
Alidra:master
45s
Remove warnings when compiling Lambdapi-mode in Emacs .github/workflows/emacs.yml #104: Pull request #1360 opened by Alidra
1m 5s Alidra:master
Alidra:master
1m 5s
Bump undici from 7.18.2 to 7.24.1 in /editors/vscode .github/workflows/emacs.yml #103: Pull request #1359 opened by dependabot bot
1m 9s dependabot/npm_and_yarn/editors/vscode/undici-7.24.1
dependabot/npm_and_yarn/editors/vscode/undici-7.24.1
1m 9s
fix(lsp): comply with LSP spec for positions and go-to-definition .github/workflows/emacs.yml #102: Pull request #1357 opened by ciaran-matthew-dunne
49s ciaran-matthew-dunne:fix/lsp-protocol-compliance
ciaran-matthew-dunne:fix/lsp-protocol-compliance
49s
test ocaml 5.4.1 .github/workflows/emacs.yml #101: Pull request #1356 synchronize by fblanqui
1m 12s fblanqui:5.4.1
fblanqui:5.4.1
1m 12s
test ocaml 5.4.1 .github/workflows/emacs.yml #100: Pull request #1356 opened by fblanqui
1m 21s fblanqui:5.4.1
fblanqui:5.4.1
1m 21s
Bump underscore from 1.13.7 to 1.13.8 in /editors/vscode .github/workflows/emacs.yml #99: Pull request #1355 opened by dependabot bot
1m 12s dependabot/npm_and_yarn/editors/vscode/underscore-1.13.8
dependabot/npm_and_yarn/editors/vscode/underscore-1.13.8
1m 12s
Bump actions/upload-artifact from 6 to 7 .github/workflows/emacs.yml #98: Pull request #1354 opened by dependabot bot
1m 0s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
1m 0s
Bump minimatch in /editors/vscode .github/workflows/emacs.yml #97: Pull request #1353 opened by dependabot bot
1m 21s dependabot/npm_and_yarn/editors/vscode/multi-acd8535d99
dependabot/npm_and_yarn/editors/vscode/multi-acd8535d99
1m 21s
Bump minimatch in /editors/vscode .github/workflows/emacs.yml #96: Pull request #1352 opened by dependabot bot
1m 7s dependabot/npm_and_yarn/editors/vscode/multi-d2981ad3f0
dependabot/npm_and_yarn/editors/vscode/multi-d2981ad3f0
1m 7s
Bump qs from 6.14.1 to 6.14.2 in /editors/vscode .github/workflows/emacs.yml #95: Pull request #1350 opened by dependabot bot
1m 1s dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
1m 1s
Rocq export: rename identifiers that are in the codomain of the renaming map .github/workflows/emacs.yml #94: Pull request #1346 synchronize by agontard
1m 13s agontard:name_collisions
agontard:name_collisions
1m 13s
Fixing diagnostics (#1317) .github/workflows/emacs.yml #93: Commit 4fd4704 pushed by fblanqui
1m 23s master
master
1m 23s
Fixing diagnostics .github/workflows/emacs.yml #92: Pull request #1317 synchronize by Alidra
1m 32s Alidra:fix_diags
Alidra:fix_diags
1m 32s
Fixing diagnostics .github/workflows/emacs.yml #91: Pull request #1317 synchronize by Alidra
1m 46s Alidra:fix_diags
Alidra:fix_diags
1m 46s
opam file: update constraints on cmdliner .github/workflows/emacs.yml #90: Pull request #1349 opened by fblanqui
1m 28s fblanqui:cmdliner
fblanqui:cmdliner
1m 28s
upgrade to cmdliner version 2 .github/workflows/emacs.yml #89: Pull request #1348 opened by Alidra
1m 11s Alidra:upgrade_cmdliner
Alidra:upgrade_cmdliner
1m 11s
fix parsing of proof steps .github/workflows/emacs.yml #88: Pull request #1347 opened by fblanqui
1m 8s fblanqui:parse
fblanqui:parse
1m 8s
Fixing diagnostics .github/workflows/emacs.yml #87: Pull request #1317 synchronize by Alidra
1m 13s Alidra:fix_diags
Alidra:fix_diags
1m 13s
Fixing diagnostics .github/workflows/emacs.yml #86: Pull request #1317 synchronize by Alidra
1m 10s Alidra:fix_diags
Alidra:fix_diags
1m 10s