Skip to content

Actions: input-output-hk/Lean-blaster

Actions

ci-linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-linux.yaml
269 workflow runs
269 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
Feat/cvc5 concurrency ci-linux #281: Pull request #204 opened by Riley-Kilgore
12m 3s feat/cvc5-concurrency
feat/cvc5-concurrency
12m 3s
Emit proof steps for optimizeBoolAnd and optimizeBoolOr reduction cases ci-linux #280: Pull request #203 opened by MarcoNardell1
6m 3s 178-emit-proof-steps-for-the-hypothesis-driven-bool-andor-reductions
178-emit-proof-steps-for-the-hypothesis-driven-bool-andor-reductions
6m 3s
Fix proof replay mistelescoping a top-level implication ci-linux #279: Pull request #202 opened by felipeperet
6m 2s 201-fix-proof-replay-mistelescoping-a-top-level-implication
201-fix-proof-replay-mistelescoping-a-top-level-implication
6m 2s
Emit proof steps for optimizeIff and And/Or implies-reductions ci-linux #278: Pull request #200 opened by felipeperet
6m 41s 172-emit-proof-steps-for-optimizeiff-and-the-andor-implies-reductions
172-emit-proof-steps-for-optimizeiff-and-the-andor-implies-reductions
6m 41s
Add 'abbrev' resolution to co-domain evaluation ci-linux #277: Pull request #193 synchronize by mpetruska
4m 22s fix-abbrev-in-codomain
fix-abbrev-in-codomain
4m 22s
fix: guard isFun constraint's argument quantifiers with domain qualifiers (fixes #195) ci-linux #276: Pull request #199 opened by RSoulatIOHK
6m 53s fix/issue-195-isfun-codomain-guard
fix/issue-195-isfun-codomain-guard
6m 53s
fix: guard lambda def_cstr quantifiers with domain qualifiers (fixes #194) ci-linux #275: Pull request #198 opened by RSoulatIOHK
4m 13s fix/issue-194-defcstr-qualifier-guard
fix/issue-194-defcstr-qualifier-guard
4m 13s
Add 'abbrev' resolution to co-domain evaluation ci-linux #274: Pull request #193 opened by mpetruska
15m 18s fix-abbrev-in-codomain
fix-abbrev-in-codomain
15m 18s
Revert "Add 'abbrev' resolution to co-domain evaluation" ci-linux #273: Commit 3a141c8 pushed by mpetruska
5m 37s main
main
5m 37s
Add 'abbrev' resolution to co-domain evaluation ci-linux #272: Commit a97e72d pushed by mpetruska
3m 39s main
main
3m 39s
Fix string literal translation to smt lib (#175) ci-linux #271: Commit ee111d8 pushed by mpetruska
11m 14s main
main
11m 14s
Fix string literal translation to smt lib ci-linux #270: Pull request #175 synchronize by mpetruska
3m 22s fix-strlitsmt
fix-strlitsmt
3m 22s
Fix: andBoolReduction? returns Prop.False instead of Bool.false (#177) ci-linux #269: Commit a8bb42a pushed by RSoulatIOHK
4m 35s main
main
4m 35s
Fix: andBoolReduction? returns Prop.False instead of Bool.false ci-linux #268: Pull request #177 opened by felipeperet
5m 36s 176-fix-andboolreduction-returns-propfalse-instead-of-boolfalse
176-fix-andboolreduction-returns-propfalse-instead-of-boolfalse
5m 36s
Fix string literal translation to smt lib ci-linux #267: Pull request #175 opened by mpetruska
7m 53s fix-strlitsmt
fix-strlitsmt
7m 53s
feat: proof reconstruction for rewrite rules (proofStack) ci-linux #266: Pull request #108 synchronize by felipeperet
7m 0s felipeperet:feat/proof-reconstruction-rewrite
felipeperet:feat/proof-reconstruction-rewrite
7m 0s
Feat/cvc5 backend ci-linux #265: Pull request #145 synchronize by Riley-Kilgore
11m 42s feat/cvc5-backend
feat/cvc5-backend
11m 42s
Fix: Hardcoded Int.ediv and Int.emod in integer division and modulo h… ci-linux #264: Commit 0749404 pushed by RSoulatIOHK
15m 1s main
main
15m 1s
Fix: Hardcoded Int.ediv and Int.emod in integer division and modulo helpers ci-linux #263: Pull request #165 opened by MarcoNardell1
5m 32s felipeperet:fix/hardcoded-ediv-and-emod-in-common-helpers
felipeperet:fix/hardcoded-ediv-and-emod-in-common-helpers
5m 32s
Optimize: ancestor-chain rewrite-cache reuse, large-table growth policy, opt-in retention diagnostics ci-linux #262: Pull request #160 synchronize by colll78
8m 35s Anastasia-Labs:wsc-pr155-retention
Anastasia-Labs:wsc-pr155-retention
8m 35s
Optimizations addressing performance issues ci-linux #261: Pull request #155 synchronize by etiennejf
9m 46s beta-lambda-cache-optimization
beta-lambda-cache-optimization
9m 46s
Optimizations addressing performance issues ci-linux #260: Pull request #155 synchronize by etiennejf
10m 38s beta-lambda-cache-optimization
beta-lambda-cache-optimization
10m 38s
Optimize: ancestor-chain rewrite-cache reuse, large-table growth policy, opt-in retention diagnostics ci-linux #259: Pull request #160 opened by colll78
11m 56s Anastasia-Labs:wsc-pr155-retention
Anastasia-Labs:wsc-pr155-retention
11m 56s
Optimizations addressing performance issues ci-linux #258: Pull request #155 synchronize by etiennejf
8m 5s beta-lambda-cache-optimization
beta-lambda-cache-optimization
8m 5s
Feat/cvc5 backend ci-linux #257: Pull request #145 synchronize by Riley-Kilgore
5m 38s feat/cvc5-backend
feat/cvc5-backend
5m 38s