Skip to content

Actions: strata-org/Strata-Generators

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
431 workflow runs
431 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 #49: Scheduled
25s main
main
25s
Lean Action CI Lean Action CI #253: Scheduled
3m 36s main
main
3m 36s
Nightly Release Nightly Release #48: Scheduled
2m 40s main
main
2m 40s
Lean Action CI Lean Action CI #252: Scheduled
4m 46s main
main
4m 46s
(WIP) Update generators to use SPMF type instead of SetGen Lean Action CI #251: Pull request #29 synchronize by ngernest
37m 18s spmf-refactor
spmf-refactor
37m 18s
PR #29 CodeQL #129: by ngernest
30m 12s refs/pull/29/head
refs/pull/29/head
30m 12s
Fix remaining heartbeat issues Lean Action CI #250: Commit 5bdaae7 pushed by ngernest
35m 17s spmf-refactor
spmf-refactor
35m 17s
Nightly Release Nightly Release #47: Scheduled
13s main
main
13s
Lean Action CI Lean Action CI #249: Scheduled
3m 30s main
main
3m 30s
Scheduled CodeQL #128: by github-advanced-security AI
12m 28s main
main
12m 28s
Nightly Release Nightly Release #46: Scheduled
13s main
main
13s
Lean Action CI Lean Action CI #248: Scheduled
3m 45s main
main
3m 45s
(WIP) Update generators to use SPMF type instead of SetGen Lean Action CI #247: Pull request #29 synchronize by ngernest
34m 21s spmf-refactor
spmf-refactor
34m 21s
PR #29 CodeQL #127: by ngernest
22m 19s refs/pull/29/head
refs/pull/29/head
22m 19s
fix other heartbeat issues Lean Action CI #246: Commit 56a0cfc pushed by ngernest
32m 38s spmf-refactor
spmf-refactor
32m 38s
Nightly Release Nightly Release #45: Scheduled
15s main
main
15s
Lean Action CI Lean Action CI #245: Scheduled
3m 43s main
main
3m 43s
(WIP) Update generators to use SPMF type instead of SetGen Lean Action CI #244: Pull request #29 synchronize by ngernest
21m 18s spmf-refactor
spmf-refactor
21m 18s
PR #29 CodeQL #126: by ngernest
49s refs/pull/29/head
refs/pull/29/head
49s
Begin addressing some comments Lean Action CI #243: Commit 3ad0e9f pushed by ngernest
35m 49s spmf-refactor
spmf-refactor
35m 49s
Nightly Release Nightly Release #44: Scheduled
8s main
main
8s
Lean Action CI Lean Action CI #242: Scheduled
4m 22s main
main
4m 22s
Nightly Release Nightly Release #43: Scheduled
11s main
main
11s
Lean Action CI Lean Action CI #241: Scheduled
3m 22s main
main
3m 22s
Nightly Release Nightly Release #42: Scheduled
11s main
main
11s