Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,072 workflow runs
2,072 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #46 CodeQL #185: by atomb
2m 2s refs/pull/46/head
refs/pull/46/head
2m 2s
Build and test BoogieToStrata in main CI Build #166: Pull request #46 synchronize by atomb
4m 19s merge-ci
merge-ci
4m 19s
PR #46 CodeQL #184: by atomb
1m 56s refs/pull/46/head
refs/pull/46/head
1m 56s
Build and test BoogieToStrata in main CI BoogieToStrata CI #196: Pull request #46 opened by atomb
4m 12s merge-ci
merge-ci
4m 12s
Build and test BoogieToStrata in main CI Build #165: Pull request #46 opened by atomb
4m 12s merge-ci
merge-ci
4m 12s
PR #46 CodeQL #183: by atomb
1m 53s refs/pull/46/head
refs/pull/46/head
1m 53s
Heap encoding in Boogie.Strata POC BoogieToStrata CI #195: Pull request #34 synchronize by samuelchassot
3m 46s sam/heapEncoding
sam/heapEncoding
3m 46s
Heap encoding in Boogie.Strata POC Build #164: Pull request #34 synchronize by samuelchassot
4m 2s sam/heapEncoding
sam/heapEncoding
4m 2s
PR #34 CodeQL #182: by samuelchassot
1m 51s refs/pull/34/head
refs/pull/34/head
1m 51s
Call Elimination Correctness Proof (#37) BoogieToStrata CI #194: Commit 74e7be4 pushed by PROgram52bc
3m 38s main
main
3m 38s
Push on main CodeQL #181: by PROgram52bc
1m 57s main
main
1m 57s
Call Elimination Correctness Proof Build #163: Pull request #37 synchronize by PROgram52bc
4m 11s callelim
callelim
4m 11s
Call Elimination Correctness Proof BoogieToStrata CI #193: Pull request #37 synchronize by PROgram52bc
4m 20s callelim
callelim
4m 20s
PR #37 CodeQL #180: by PROgram52bc
1m 55s refs/pull/37/head
refs/pull/37/head
1m 55s
Call Elimination Correctness Proof BoogieToStrata CI #192: Pull request #37 synchronize by PROgram52bc
3m 23s callelim
callelim
3m 23s
Call Elimination Correctness Proof Build #162: Pull request #37 synchronize by PROgram52bc
4m 7s callelim
callelim
4m 7s
PR #37 CodeQL #179: by PROgram52bc
2m 4s refs/pull/37/head
refs/pull/37/head
2m 4s
Rename Strata.Environment to Strata.Program and adjust formatting BoogieToStrata CI #191: Pull request #44 synchronize by joehendrix
3m 41s jhx/env_to_program
jhx/env_to_program
3m 41s
Rename Strata.Environment to Strata.Program and adjust formatting Build #161: Pull request #44 synchronize by joehendrix
3m 18s jhx/env_to_program
jhx/env_to_program
3m 18s
PR #44 CodeQL #178: by joehendrix
1m 59s refs/pull/44/head
refs/pull/44/head
1m 59s
Push on main CodeQL #177: by atomb
1m 55s main
main
1m 55s
Add another code owner in most places (#43) BoogieToStrata CI #190: Commit cf1a92c pushed by atomb
3m 45s main
main
3m 45s
Cleanup repetitive BV definitions Build #160: Pull request #45 opened by andrewmwells-amazon
3m 35s andrewmwells/cleanup
andrewmwells/cleanup
3m 35s
Cleanup repetitive BV definitions BoogieToStrata CI #189: Pull request #45 opened by andrewmwells-amazon
3m 37s andrewmwells/cleanup
andrewmwells/cleanup
3m 37s
PR #45 CodeQL #176: by andrewmwells-amazon
1m 58s refs/pull/45/head
refs/pull/45/head
1m 58s
ProTip! You can narrow down the results and go further in time using created:<2025-08-08 or the other filters available.