Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/ocaml.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
609 workflow runs
609 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/ocaml.yml #611: Commit c07b0c3 pushed by fblanqui
5m 17s master
master
5m 17s
give better error message on forbidden identifiers .github/workflows/ocaml.yml #610: Pull request #1457 synchronize by fblanqui
4m 55s fblanqui:lex
fblanqui:lex
4m 55s
give better error message on forbidden identifiers .github/workflows/ocaml.yml #609: Pull request #1457 opened by fblanqui
4m 25s fblanqui:lex
fblanqui:lex
4m 25s
Do not fail in case of moved file (#1439) .github/workflows/ocaml.yml #608: Commit 1ac2f3c pushed by fblanqui
4m 34s master
master
4m 34s
Do not fail in case of moved file .github/workflows/ocaml.yml #607: Pull request #1439 synchronize by fblanqui
4m 44s sacerdot:fix_install
sacerdot:fix_install
4m 44s
Report the proof state when an error occurs during a proof (#1453) .github/workflows/ocaml.yml #606: Commit 701cf69 pushed by fblanqui
4m 37s master
master
4m 37s
indexing: use String.remove_prefix (#1455) .github/workflows/ocaml.yml #605: Commit 8a02c23 pushed by fblanqui
4m 35s master
master
4m 35s
indexing: use String.remove_prefix .github/workflows/ocaml.yml #604: Pull request #1455 opened by fblanqui
4m 50s fblanqui:prefix
fblanqui:prefix
4m 50s
Report the proof state when an error occurs during a proof .github/workflows/ocaml.yml #603: Pull request #1453 synchronize by ciaran-matthew-dunne
4m 38s ciaran-matthew-dunne:pr/proof-state-on-error
ciaran-matthew-dunne:pr/proof-state-on-error
4m 38s
Report the proof state when an error occurs during a proof .github/workflows/ocaml.yml #602: Pull request #1453 opened by ciaran-matthew-dunne
4m 42s ciaran-matthew-dunne:pr/proof-state-on-error
ciaran-matthew-dunne:pr/proof-state-on-error
4m 42s
fix naming of pattern variables (#1452) .github/workflows/ocaml.yml #601: Commit 33c092a pushed by fblanqui
4m 41s master
master
4m 41s
fix naming of pattern variables .github/workflows/ocaml.yml #600: Pull request #1452 opened by fblanqui
5m 15s fblanqui:lcr
fblanqui:lcr
5m 15s
fix(lsp): show success hints on the introducing keyword of commands a… .github/workflows/ocaml.yml #599: Commit 015858a pushed by fblanqui
4m 49s master
master
4m 49s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/ocaml.yml #598: Pull request #1444 synchronize by fblanqui
5m 13s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
5m 13s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/ocaml.yml #597: Pull request #1444 synchronize by fblanqui
5m 8s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
5m 8s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/ocaml.yml #596: Pull request #1444 synchronize by fblanqui
4m 31s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
4m 31s
fix virtual positions for symbols and rules generated by inductive (#… .github/workflows/ocaml.yml #595: Commit 109094e pushed by fblanqui
4m 48s master
master
4m 48s
fix virtual positions for symbols and rules generated by inductive .github/workflows/ocaml.yml #594: Pull request #1448 synchronize by fblanqui
5m 13s fblanqui:pos
fblanqui:pos
5m 13s
fix parsing of bare open: do not load modules as require open does (#… .github/workflows/ocaml.yml #593: Commit 3a1bf4f pushed by fblanqui
8m 23s master
master
8m 23s
fix parsing of bare open: do not load modules as require open does .github/workflows/ocaml.yml #592: Pull request #1450 synchronize by fblanqui
5m 2s ciaran-matthew-dunne:pr/bare-open
ciaran-matthew-dunne:pr/bare-open
5m 2s
LSP: completion, document outline, documentation hovers, tests .github/workflows/ocaml.yml #591: Pull request #1371 synchronize by ciaran-matthew-dunne
4m 55s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
4m 55s
LSP: completion, document outline, documentation hovers, tests .github/workflows/ocaml.yml #590: Pull request #1371 synchronize by ciaran-matthew-dunne
4m 36s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
4m 36s
LSP: completion, document outline, documentation hovers, tests .github/workflows/ocaml.yml #589: Pull request #1371 synchronize by ciaran-matthew-dunne
4m 40s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
4m 40s
LSP: completion, document outline, documentation hovers, tests .github/workflows/ocaml.yml #588: Pull request #1371 synchronize by ciaran-matthew-dunne
4m 45s ciaran-matthew-dunne:pr/lsp-ux
ciaran-matthew-dunne:pr/lsp-ux
4m 45s
fix(lsp): show success hints on the introducing keyword of commands and tactics .github/workflows/ocaml.yml #587: Pull request #1444 synchronize by ciaran-matthew-dunne
4m 36s ciaran-matthew-dunne:pr/lsp-success-hints
ciaran-matthew-dunne:pr/lsp-success-hints
4m 36s