Skip to content

Actions: NotBad4U/carcara

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clippy and fix translate_bool_eq_true CI #77: Commit f4ee970 pushed by NotBad4U
2m 4s lambdapi-translate
lambdapi-translate
2m 4s
Fix warnings CI #76: Commit 02c67c5 pushed by NotBad4U
2m 6s lambdapi-translate
lambdapi-translate
2m 6s
Refactor: use swap_remove with primitive pool for variable handling CI #75: Commit f1ce22d pushed by NotBad4U
2m 3s lambdapi-translate
lambdapi-translate
2m 3s
Refactor: replace Rc::new with primitive pool add for hash-consing CI #74: Commit e759b1d pushed by NotBad4U
2m 9s lambdapi-translate
lambdapi-translate
2m 9s
Simplify dag terms on root and fix arith polynom proof CI #73: Commit 1875690 pushed by NotBad4U
2m 1s lambdapi-translate
lambdapi-translate
2m 1s
Rebase CI #72: Commit ad8eecd pushed by NotBad4U
2m 5s lambdapi-translate
lambdapi-translate
2m 5s
Fix la_generic CI #71: Commit 898b2e7 pushed by NotBad4U
2m 8s lambdapi-translate
lambdapi-translate
2m 8s
update rust toolchain CI #70: Commit bd37f26 pushed by NotBad4U
5m 7s lambdapi-translate
lambdapi-translate
5m 7s
Remove -c in makefile for Lambdapi check in split mode CI #69: Commit c0562dc pushed by NotBad4U
25s lambdapi-translate
lambdapi-translate
25s
Fix mssing PropExt CI #68: Commit 7891d57 pushed by NotBad4U
42s lambdapi-translate
lambdapi-translate
42s
update propExt to PropExt CI #67: Commit deafe6d pushed by NotBad4U
25s lambdapi-translate
lambdapi-translate
25s
Bench ready? CI #66: Commit ea200d5 pushed by NotBad4U
22s lambdapi-translate
lambdapi-translate
22s
save wip rat CI #65: Commit 95298bb pushed by NotBad4U
2m 8s lambdapi-translate
lambdapi-translate
2m 8s
add contraction reconstruction CI #64: Commit cf3b96f pushed by NotBad4U
2m 22s lambdapi-translate
lambdapi-translate
2m 22s
continue fixs, repair rare CI #63: Commit 0b73abb pushed by NotBad4U
2m 12s lambdapi-translate
lambdapi-translate
2m 12s
Fix arith-norm reconstruction CI #62: Commit 6059ba0 pushed by NotBad4U
1m 49s lambdapi-translate
lambdapi-translate
1m 49s
save wip CI #61: Commit d00b4f7 pushed by NotBad4U
2m 13s lambdapi-translate
lambdapi-translate
2m 13s
save wip CI #60: Commit 0cc785e pushed by NotBad4U
2m 6s lambdapi-translate
lambdapi-translate
2m 6s
Switch to π CI #59: Commit 06fce71 pushed by NotBad4U
2m 7s lambdapi-translate
lambdapi-translate
2m 7s
Integrate CAV development into lambdapi-translate CI #58: Commit 68eeac6 pushed by NotBad4U
19s lambdapi-translate
lambdapi-translate
19s
Integrate CAV development into lambdapi-translate CI #57: Commit 6b2cfd9 pushed by NotBad4U
1m 41s lambdapi-translate
lambdapi-translate
1m 41s
Frocos submitted CI #56: Commit eb21a64 pushed by NotBad4U
1m 39s CAV
CAV
1m 39s
save wip CI #55: Commit f5d3694 pushed by NotBad4U
1m 34s CAV
CAV
1m 34s
Add RARE proofs CI #54: Commit 0ad60e2 pushed by NotBad4U
1m 32s CAV
CAV
1m 32s
Add lemma to convert Classical connector to IL connector, and add lin… CI #53: Commit d8cc333 pushed by NotBad4U
1m 47s CAV
CAV
1m 47s