Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,967 workflow runs
1,967 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
#with_goal tactic .github/workflows/vscode.yml #522: Pull request #1430 opened by bodeveix
38s bodeveix:with_goal
bodeveix:with_goal
38s
#with_goal tactic .github/workflows/main.yml #3309: Pull request #1430 opened by bodeveix
8s bodeveix:with_goal
bodeveix:with_goal
8s
#with_goal tactic .github/workflows/ocaml.yml #495: Pull request #1430 opened by bodeveix
4m 31s bodeveix:with_goal
bodeveix:with_goal
4m 31s
#with_goal tactic .github/workflows/emacs.yml #320: Pull request #1430 opened by bodeveix
1m 8s bodeveix:with_goal
bodeveix:with_goal
1m 8s
fix lean export (#1429) .github/workflows/main.yml #3308: Commit 15550d2 pushed by fblanqui
9m 3s master
master
9m 3s
fix lean export (#1429) .github/workflows/ocaml.yml #494: Commit 15550d2 pushed by fblanqui
4m 36s master
master
4m 36s
fix lean export .github/workflows/ocaml.yml #493: Pull request #1429 opened by fblanqui
4m 39s fblanqui:lean
fblanqui:lean
4m 39s
fix lean export .github/workflows/main.yml #3307: Pull request #1429 opened by fblanqui
9m 21s fblanqui:lean
fblanqui:lean
9m 21s
fix lean export .github/workflows/emacs.yml #319: Pull request #1429 opened by fblanqui
1m 8s fblanqui:lean
fblanqui:lean
1m 8s
fix lean export .github/workflows/vscode.yml #521: Pull request #1429 opened by fblanqui
1m 2s fblanqui:lean
fblanqui:lean
1m 2s
add tactic all_hyps .github/workflows/emacs.yml #318: Pull request #1426 synchronize by bodeveix
1m 6s bodeveix:all_hyps
bodeveix:all_hyps
1m 6s
add tactic all_hyps .github/workflows/ocaml.yml #492: Pull request #1426 synchronize by bodeveix
4m 46s bodeveix:all_hyps
bodeveix:all_hyps
4m 46s
add tactic all_hyps .github/workflows/main.yml #3306: Pull request #1426 synchronize by bodeveix
8m 35s bodeveix:all_hyps
bodeveix:all_hyps
8m 35s
add tactic all_hyps .github/workflows/vscode.yml #520: Pull request #1426 synchronize by bodeveix
40s bodeveix:all_hyps
bodeveix:all_hyps
40s
Parsing fix: preserve the stream when backtracking in list combinator… .github/workflows/ocaml.yml #491: Commit 1388e61 pushed by fblanqui
4m 34s master
master
4m 34s
Parsing fix: preserve the stream when backtracking in list combinator… .github/workflows/main.yml #3305: Commit 1388e61 pushed by fblanqui
8m 40s master
master
8m 40s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/emacs.yml #317: Pull request #1428 synchronize by sacerdot
1m 19s sacerdot:fix_parser
sacerdot:fix_parser
1m 19s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/ocaml.yml #490: Pull request #1428 synchronize by sacerdot
4m 45s sacerdot:fix_parser
sacerdot:fix_parser
4m 45s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/main.yml #3304: Pull request #1428 synchronize by sacerdot
8m 45s sacerdot:fix_parser
sacerdot:fix_parser
8m 45s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/vscode.yml #519: Pull request #1428 synchronize by sacerdot
42s sacerdot:fix_parser
sacerdot:fix_parser
42s
Fix indexing and query parsing issues (#1424) .github/workflows/ocaml.yml #489: Commit 3598ca5 pushed by fblanqui
4m 33s master
master
4m 33s
Fix indexing and query parsing issues (#1424) .github/workflows/main.yml #3303: Commit 3598ca5 pushed by fblanqui
8m 41s master
master
8m 41s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/ocaml.yml #488: Pull request #1428 synchronize by sacerdot
4m 58s sacerdot:fix_parser
sacerdot:fix_parser
4m 58s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/vscode.yml #518: Pull request #1428 synchronize by sacerdot
37s sacerdot:fix_parser
sacerdot:fix_parser
37s
Parsing fix: preserve the stream when backtracking in list combinator .github/workflows/emacs.yml #316: Pull request #1428 synchronize by sacerdot
1m 23s sacerdot:fix_parser
sacerdot:fix_parser
1m 23s