Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
695 workflow runs
695 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
give better error message on forbidden identifiers (#1457) .github/workflows/main.yml #3425: Commit c07b0c3 pushed by fblanqui
8m 37s master
master
8m 37s
give better error message on forbidden identifiers .github/workflows/main.yml #3424: Pull request #1457 synchronize by fblanqui
8m 39s fblanqui:lex
fblanqui:lex
8m 39s
give better error message on forbidden identifiers .github/workflows/main.yml #3423: Pull request #1457 opened by fblanqui
8m 51s fblanqui:lex
fblanqui:lex
8m 51s
Do not fail in case of moved file (#1439) .github/workflows/main.yml #3422: Commit 1ac2f3c pushed by fblanqui
9m 15s master
master
9m 15s
Do not fail in case of moved file .github/workflows/main.yml #3421: Pull request #1439 synchronize by fblanqui
8m 58s sacerdot:fix_install
sacerdot:fix_install
8m 58s
Report the proof state when an error occurs during a proof (#1453) .github/workflows/main.yml #3420: Commit 701cf69 pushed by fblanqui
8m 32s master
master
8m 32s
indexing: use String.remove_prefix (#1455) .github/workflows/main.yml #3419: Commit 8a02c23 pushed by fblanqui
8m 43s master
master
8m 43s
indexing: use String.remove_prefix .github/workflows/main.yml #3418: Pull request #1455 opened by fblanqui
8m 52s fblanqui:prefix
fblanqui:prefix
8m 52s
Report the proof state when an error occurs during a proof .github/workflows/main.yml #3417: Pull request #1453 synchronize by ciaran-matthew-dunne
8m 34s ciaran-matthew-dunne:pr/proof-state-on-error
ciaran-matthew-dunne:pr/proof-state-on-error
8m 34s
Report the proof state when an error occurs during a proof .github/workflows/main.yml #3416: Pull request #1453 opened by ciaran-matthew-dunne
8m 58s ciaran-matthew-dunne:pr/proof-state-on-error
ciaran-matthew-dunne:pr/proof-state-on-error
8m 58s
fix naming of pattern variables (#1452) .github/workflows/main.yml #3415: Commit 33c092a pushed by fblanqui
8m 35s master
master
8m 35s
fix naming of pattern variables .github/workflows/main.yml #3414: Pull request #1452 opened by fblanqui
8m 39s fblanqui:lcr
fblanqui:lcr
8m 39s
fix(lsp): show success hints on the introducing keyword of commands a… .github/workflows/main.yml #3413: Commit 015858a pushed by fblanqui
8m 3s master
master
8m 3s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/main.yml #3412: Pull request #1444 synchronize by fblanqui
10m 0s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
10m 0s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/main.yml #3411: Pull request #1444 synchronize by fblanqui
8m 50s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
8m 50s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/main.yml #3410: Pull request #1444 synchronize by fblanqui
7m 48s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
7m 48s
fix virtual positions for symbols and rules generated by inductive (#… .github/workflows/main.yml #3409: Commit 109094e pushed by fblanqui
8m 6s master
master
8m 6s
fix virtual positions for symbols and rules generated by inductive .github/workflows/main.yml #3408: Pull request #1448 synchronize by fblanqui
9m 19s fblanqui:pos
fblanqui:pos
9m 19s
fix parsing of bare open: do not load modules as require open does (#… .github/workflows/main.yml #3407: Commit 3a1bf4f pushed by fblanqui
13m 17s master
master
13m 17s
fix parsing of bare open: do not load modules as require open does .github/workflows/main.yml #3406: Pull request #1450 synchronize by fblanqui
8m 34s ciaran-matthew-dunne:pr/bare-open
ciaran-matthew-dunne:pr/bare-open
8m 34s
LSP: completion, document outline, documentation hovers, tests .github/workflows/main.yml #3405: Pull request #1371 synchronize by ciaran-matthew-dunne
9m 21s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
9m 21s
LSP: completion, document outline, documentation hovers, tests .github/workflows/main.yml #3404: Pull request #1371 synchronize by ciaran-matthew-dunne
9m 0s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
9m 0s
LSP: completion, document outline, documentation hovers, tests .github/workflows/main.yml #3403: Pull request #1371 synchronize by ciaran-matthew-dunne
9m 20s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
9m 20s
LSP: completion, document outline, documentation hovers, tests .github/workflows/main.yml #3402: Pull request #1371 synchronize by ciaran-matthew-dunne
8m 59s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
8m 59s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/main.yml #3401: Pull request #1444 synchronize by ciaran-matthew-dunne
8m 45s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
8m 45s