Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,387 workflow runs
2,387 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 (#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/emacs.yml #421: Pull request #1457 synchronize by fblanqui
1m 27s fblanqui:lex
fblanqui:lex
1m 27s
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/vscode.yml #623: Pull request #1457 synchronize by fblanqui
38s fblanqui:lex
fblanqui:lex
38s
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
give better error message on forbidden identifiers .github/workflows/emacs.yml #420: Pull request #1457 opened by fblanqui
1m 21s fblanqui:lex
fblanqui:lex
1m 21s
give better error message on forbidden identifiers .github/workflows/vscode.yml #622: Pull request #1457 opened by fblanqui
1m 4s fblanqui:lex
fblanqui:lex
1m 4s
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 (#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/vscode.yml #621: Pull request #1439 synchronize by fblanqui
46s sacerdot:fix_install
sacerdot:fix_install
46s
Do not fail in case of moved file .github/workflows/emacs.yml #419: Pull request #1439 synchronize by fblanqui
1m 42s sacerdot:fix_install
sacerdot:fix_install
1m 42s
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
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
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 (#1455) .github/workflows/main.yml #3419: Commit 8a02c23 pushed by fblanqui
8m 43s master
master
8m 43s
indexing: use String.remove_prefix .github/workflows/ocaml.yml #604: Pull request #1455 opened by fblanqui
4m 50s fblanqui:prefix
fblanqui:prefix
4m 50s
indexing: use String.remove_prefix .github/workflows/main.yml #3418: Pull request #1455 opened by fblanqui
8m 52s fblanqui:prefix
fblanqui:prefix
8m 52s
indexing: use String.remove_prefix .github/workflows/emacs.yml #418: Pull request #1455 opened by fblanqui
1m 9s fblanqui:prefix
fblanqui:prefix
1m 9s
indexing: use String.remove_prefix .github/workflows/vscode.yml #620: Pull request #1455 opened by fblanqui
33s fblanqui:prefix
fblanqui:prefix
33s
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