Skip to content

Actions: input-output-hk/Lean-blaster

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
865 workflow runs
865 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
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #292: Scheduled
36s main
main
36s
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
PR #193 CodeQL #242: by mpetruska
38s refs/pull/193/head
refs/pull/193/head
38s
PR #199 CodeQL #241: by RSoulatIOHK
44s refs/pull/199/head
refs/pull/199/head
44s
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
PR #198 CodeQL #240: by RSoulatIOHK
38s refs/pull/198/head
refs/pull/198/head
38s
Nightly Lean 4 Build Test Nightly Lean 4 Build Test #291: Scheduled
26s main
main
26s
Running Copilot Code Review Copilot #5: by Copilot AI
7m 28s feat/sif-rule
feat/sif-rule
7m 28s
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
PR #193 CodeQL #239: by mpetruska
47s refs/pull/193/head
refs/pull/193/head
47s
Push on main CodeQL #238: by mpetruska
1m 15s main
main
1m 15s
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
Push on main CodeQL #237: by mpetruska
45s main
main
45s
Fix string literal translation to smt lib (#175) ci-linux #271: Commit ee111d8 pushed by mpetruska
11m 14s main
main
11m 14s
Push on main CodeQL #236: by mpetruska
41s main
main
41s
Fix string literal translation to smt lib ci-linux #270: Pull request #175 synchronize by mpetruska
3m 22s fix-strlitsmt
fix-strlitsmt
3m 22s
PR #175 CodeQL #235: by mpetruska
37s refs/pull/175/head
refs/pull/175/head
37s
Fix: andBoolReduction? returns Prop.False instead of Bool.false (#177) ci-linux #269: Commit a8bb42a pushed by RSoulatIOHK
4m 35s main
main
4m 35s
Push on main CodeQL #234: by RSoulatIOHK
45s main
main
45s
Running Copilot Code Review Copilot #4: by Copilot AI
1m 31s 176-fix-andboolreduction-returns-propfalse-instead-of-boolfalse
176-fix-andboolreduction-returns-propfalse-instead-of-boolfalse
1m 31s