Skip to content

Actions: input-output-hk/Lean-blaster

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
921 workflow runs
921 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
Profile Cardano preparation and gate accepting global executions ci-linux #312: Pull request #241 opened by RSoulatIOHK
8m 26s perf/cardano-preparation-attribution
perf/cardano-preparation-attribution
8m 26s
Experiment with scoped constructor-choice retention (Issue238) ci-linux #311: Pull request #240 opened by RSoulatIOHK
13m 45s perf/cardano-selective-choices
perf/cardano-selective-choices
13m 45s
Measure Cardano preparation separately from proof checking ci-linux #310: Pull request #239 synchronize by RSoulatIOHK
10m 53s perf/cardano-preparation-benchmarks
perf/cardano-preparation-benchmarks
10m 53s
Measure Cardano preparation separately from proof checking ci-linux #309: Pull request #239 opened by RSoulatIOHK
11m 2s perf/cardano-preparation-benchmarks
perf/cardano-preparation-benchmarks
11m 2s
Simplify list append and drop through symbolic tails ci-linux #308: Pull request #235 synchronize by RSoulatIOHK
11m 59s perf/beta-symbolic-list-tails
perf/beta-symbolic-list-tails
11m 59s
Complete empty-domain function typing; investigate solver regressions ci-linux #307: Pull request #237 opened by RSoulatIOHK
32m 34s fix/beta-qualifier-domain-guards
fix/beta-qualifier-domain-guards
32m 34s
Prevent opaque functions from fabricating empty-type inhabitants ci-linux #306: Pull request #236 opened by RSoulatIOHK
11m 5s fix/beta-opaque-domain-guards
fix/beta-opaque-domain-guards
11m 5s
Simplify list append and drop through symbolic tails ci-linux #305: Pull request #235 synchronize by RSoulatIOHK
3m 49s perf/beta-symbolic-list-tails
perf/beta-symbolic-list-tails
3m 49s
Preserve SMT sharing with scope-safe let emission ci-linux #304: Pull request #234 synchronize by RSoulatIOHK
19m 38s perf/beta-smt-sharing
perf/beta-smt-sharing
19m 38s
Simplify list append and drop through symbolic tails ci-linux #303: Pull request #235 opened by RSoulatIOHK
2m 0s perf/beta-symbolic-list-tails
perf/beta-symbolic-list-tails
2m 0s
Preserve SMT sharing with scope-safe let emission ci-linux #302: Pull request #234 opened by RSoulatIOHK
2m 10s perf/beta-smt-sharing
perf/beta-smt-sharing
2m 10s
Reduce shared-factor Nat.mod goals before SMT solving ci-linux #301: Pull request #230 synchronize by RSoulatIOHK
10m 39s perf/beta-common-factor-mod
perf/beta-common-factor-mod
10m 39s
Reduce shared-factor Nat.mod goals before SMT solving ci-linux #300: Pull request #230 opened by RSoulatIOHK
4m 23s perf/beta-common-factor-mod
perf/beta-common-factor-mod
4m 23s
Fix shared substitution slices and open-variable capture ci-linux #299: Pull request #229 opened by RSoulatIOHK
10m 55s fix/beta-shared-substitution
fix/beta-shared-substitution
10m 55s
Fix false Valid results from empty types and type classes ci-linux #298: Pull request #224 synchronize by RSoulatIOHK
10m 50s fix/beta-empty-quantifiers
fix/beta-empty-quantifiers
10m 50s
Fix false Valid results from constructor proof fields ci-linux #297: Pull request #223 synchronize by RSoulatIOHK
11m 23s fix/beta-proof-irrelevance
fix/beta-proof-irrelevance
11m 23s
Fix false Valid results from empty types and type classes ci-linux #296: Pull request #224 opened by RSoulatIOHK
6m 20s fix/beta-empty-quantifiers
fix/beta-empty-quantifiers
6m 20s
Fix false Valid results from constructor proof fields ci-linux #295: Pull request #223 opened by RSoulatIOHK
10m 24s fix/beta-proof-irrelevance
fix/beta-proof-irrelevance
10m 24s
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #305: Scheduled
33s main
main
33s
Emit proof steps for the Bool-not/decide bridge and nominal decide re… ci-linux #294: Pull request #222 opened by felipeperet
4m 53s 215-bool-notdecide-bridge-and-nominal-decide-residuals
215-bool-notdecide-bridge-and-nominal-decide-residuals
4m 53s
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #304: Scheduled
23s main
main
23s
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #303: Scheduled
24s main
main
24s
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #302: Scheduled
28s main
main
28s
Scheduled CodeQL #251: by github-advanced-security AI
47s main
main
47s
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #301: Scheduled
29s main
main
29s