Skip to content

Actions: strata-org/Strata-Generators

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
407 workflow runs
407 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 Release Nightly Release #42: Scheduled
11s main
main
11s
Lean Action CI Lean Action CI #240: Scheduled
5m 17s main
main
5m 17s
Nightly Release Nightly Release #41: Scheduled
10s main
main
10s
Lean Action CI Lean Action CI #239: Scheduled
12m 54s main
main
12m 54s
Update to compile with the latest version of Basalt (merged into lean… Lean Action CI #238: Commit 4cf8fa1 pushed by ngernest
13m 55s basalt-update
basalt-update
13m 55s
(WIP) Prove some probabilistic properties about our generators Lean Action CI #237: Pull request #30 stacked by ngernest
33m 59s prob-props
prob-props
33m 59s
PR #30 CodeQL #125: by ngernest
14m 41s refs/pull/30/head
refs/pull/30/head
14m 41s
(WIP) Update generators to use SPMF type instead of SetGen Lean Action CI #236: Pull request #29 synchronize by ngernest
23m 39s spmf-refactor
spmf-refactor
23m 39s
PR #29 CodeQL #124: by ngernest
1m 54s refs/pull/29/head
refs/pull/29/head
1m 54s
Add tuning-invariant lemma for genLExprBase Lean Action CI #235: Commit abafc0b pushed by ngernest
23m 47s spmf-refactor
spmf-refactor
23m 47s
Add expectation and coverage proofs for the generators Lean Action CI #234: Commit c4a8107 pushed by ngernest
23m 27s prob-props
prob-props
23m 27s
(WIP) Update generators to use SPMF type instead of SetGen Lean Action CI #233: Pull request #29 synchronize by ngernest
33m 10s spmf-refactor
spmf-refactor
33m 10s
PR #29 CodeQL #123: by ngernest
14m 55s refs/pull/29/head
refs/pull/29/head
14m 55s
Remove deprecated doc Lean Action CI #232: Commit 9ca75f6 pushed by ngernest
16m 6s spmf-refactor
spmf-refactor
16m 6s
(WIP) Update generators to use SPMF type instead of SetGen Lean Action CI #231: Pull request #29 opened by ngernest
31m 32s spmf-refactor
spmf-refactor
31m 32s
PR #29 CodeQL #122: by ngernest
15m 23s refs/pull/29/head
refs/pull/29/head
15m 23s
Remove sorry-ed theorem (is false as stated) Lean Action CI #230: Commit 5960771 pushed by ngernest
16m 0s spmf-refactor
spmf-refactor
16m 0s
Fix linter warnings Lean Action CI #229: Commit 1ff5a9a pushed by ngernest
12m 5s spmf-refactor
spmf-refactor
12m 5s
fix linter warnings Lean Action CI #228: Commit 0f05b2d pushed by ngernest
19m 26s spmf-refactor
spmf-refactor
19m 26s
Update Strata-Generators to use new Strata definitions that don't con… Lean Action CI #227: Commit 78dabe5 pushed by ngernest
14m 58s main
main
14m 58s
Push on main CodeQL #121: by ngernest
5m 15s main
main
5m 15s
Update Strata-Generators to use new Strata definitions that don't conflict with Mathlib Lean Action CI #226: Pull request #28 opened by ngernest
12m 28s fix-upstream-drift-27
fix-upstream-drift-27
12m 28s
PR #28 CodeQL #120: by ngernest
54s refs/pull/28/head
refs/pull/28/head
54s
Update Strata-Generators to use new Strata definitions that don't con… Lean Action CI #225: Commit 204a358 pushed by ngernest
11m 29s fix-upstream-drift-27
fix-upstream-drift-27
11m 29s
Nightly Release Nightly Release #40: Scheduled
11s main
main
11s