Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Laurel guide documentation updates Build #10937: Commit 78184b4 pushed by strata-git-sync Bot
21m 25s main
main
21m 25s
Laurel guide documentation updates Label merge conflicts #4345: Commit 78184b4 pushed by strata-git-sync Bot
27s main
main
27s
Laurel guide documentation updates Deploy Documentation #520: Commit 78184b4 pushed by strata-git-sync Bot
19m 59s main
main
19m 59s
Push on main CodeQL #9184: by strata-git-sync Bot
1m 12s main
main
1m 12s
Nightly Release Nightly Release #145: Scheduled
15s main
main
15s
refactor(Lambda): move theorems into Props modules Build #10936: Commit 98fa191 pushed by strata-git-sync Bot
16m 26s main
main
16m 26s
refactor(Lambda): move theorems into Props modules Deploy Documentation #519: Commit 98fa191 pushed by strata-git-sync Bot
12m 47s main
main
12m 47s
refactor(Lambda): move theorems into Props modules Label merge conflicts #4344: Commit 98fa191 pushed by strata-git-sync Bot
26s main
main
26s
Push on main CodeQL #9183: by strata-git-sync Bot
1m 16s main
main
1m 16s
[Strata] Drop default .empty values on optional MetaData parameters Build #10935: Commit 1b92975 pushed by strata-git-sync Bot
21m 55s main
main
21m 55s
[Strata] Drop default .empty values on optional MetaData parameters Deploy Documentation #518: Commit 1b92975 pushed by strata-git-sync Bot
17m 7s main
main
17m 7s
[Strata] Drop default .empty values on optional MetaData parameters Label merge conflicts #4343: Commit 1b92975 pushed by strata-git-sync Bot
38s main
main
38s
Push on main CodeQL #9182: by strata-git-sync Bot
1m 20s main
main
1m 20s
Rename OverapproximatesUptoWhen.comp_preorder_eq to comp_trans_eq Build #10934: Commit 7ba6deb pushed by strata-git-sync Bot
24m 27s main
main
24m 27s
Rename OverapproximatesUptoWhen.comp_preorder_eq to comp_trans_eq Deploy Documentation #517: Commit 7ba6deb pushed by strata-git-sync Bot
13m 34s main
main
13m 34s
Rename OverapproximatesUptoWhen.comp_preorder_eq to comp_trans_eq Label merge conflicts #4342: Commit 7ba6deb pushed by strata-git-sync Bot
36s main
main
36s
Push on main CodeQL #9181: by strata-git-sync Bot
1m 18s main
main
1m 18s
Delete Lambda TestGen and its tests Build #10933: Commit 0a2017e pushed by strata-git-sync Bot
19m 41s main
main
19m 41s
Delete Lambda TestGen and its tests Deploy Documentation #516: Commit 0a2017e pushed by strata-git-sync Bot
15m 3s main
main
15m 3s
Delete Lambda TestGen and its tests Label merge conflicts #4341: Commit 0a2017e pushed by strata-git-sync Bot
48s main
main
48s
Push on main CodeQL #9180: by strata-git-sync Bot
1m 19s main
main
1m 19s
Optimize SMT encoding by speeding up datatype lookup Build #10932: Commit f0a3c7d pushed by strata-git-sync Bot
16m 19s main
main
16m 19s
Optimize SMT encoding by speeding up datatype lookup Deploy Documentation #515: Commit f0a3c7d pushed by strata-git-sync Bot
17m 27s main
main
17m 27s
Optimize SMT encoding by speeding up datatype lookup Label merge conflicts #4340: Commit f0a3c7d pushed by strata-git-sync Bot
21s main
main
21s
Push on main CodeQL #9179: by strata-git-sync Bot
2m 3s main
main
2m 3s