Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #40 CodeQL #152: by joehendrix
1m 58s refs/pull/40/head
refs/pull/40/head
1m 58s
Rename StrataDD to StrataDDL and minor cleanups. Build #140: Pull request #40 opened by joehendrix
4m 10s jhx/cleanup
jhx/cleanup
4m 10s
Rename StrataDD to StrataDDL and minor cleanups. BoogieToStrata CI #165: Pull request #40 opened by joehendrix
3m 39s jhx/cleanup
jhx/cleanup
3m 39s
PR #40 CodeQL #151: by joehendrix
2m 0s refs/pull/40/head
refs/pull/40/head
2m 0s
Call Elimination Correctness Proof Build #139: Pull request #37 synchronize by PROgram52bc
4m 26s callelim
callelim
4m 26s
Call Elimination Correctness Proof BoogieToStrata CI #164: Pull request #37 synchronize by PROgram52bc
3m 36s callelim
callelim
3m 36s
PR #37 CodeQL #150: by PROgram52bc
1m 53s refs/pull/37/head
refs/pull/37/head
1m 53s
Add loops to Strata.Boogie (#35) BoogieToStrata CI #163: Commit 0c31dfa pushed by atomb
3m 40s main
main
3m 40s
Push on main CodeQL #149: by atomb
1m 57s main
main
1m 57s
Call Elimination Correctness Proof Build #138: Pull request #37 synchronize by PROgram52bc
4m 6s callelim
callelim
4m 6s
Call Elimination Correctness Proof BoogieToStrata CI #162: Pull request #37 synchronize by PROgram52bc
3m 33s callelim
callelim
3m 33s
PR #37 CodeQL #148: by PROgram52bc
1m 52s refs/pull/37/head
refs/pull/37/head
1m 52s
Call Elimination Correctness Proof BoogieToStrata CI #161: Pull request #37 synchronize by PROgram52bc
3m 36s callelim
callelim
3m 36s
Call Elimination Correctness Proof Build #137: Pull request #37 synchronize by PROgram52bc
4m 10s callelim
callelim
4m 10s
PR #37 CodeQL #147: by PROgram52bc
1m 56s refs/pull/37/head
refs/pull/37/head
1m 56s
Call Elimination Correctness Proof Build #136: Pull request #37 synchronize by PROgram52bc
4m 17s callelim
callelim
4m 17s
Call Elimination Correctness Proof BoogieToStrata CI #160: Pull request #37 synchronize by PROgram52bc
3m 50s callelim
callelim
3m 50s
PR #37 CodeQL #146: by PROgram52bc
1m 59s refs/pull/37/head
refs/pull/37/head
1m 59s
Add loops to Strata.Boogie BoogieToStrata CI #159: Pull request #35 synchronize by atomb
4m 39s boogie-loops
boogie-loops
4m 39s
Add loops to Strata.Boogie Build #135: Pull request #35 synchronize by atomb
3m 23s boogie-loops
boogie-loops
3m 23s
PR #35 CodeQL #145: by atomb
1m 57s refs/pull/35/head
refs/pull/35/head
1m 57s
Heap encoding in Boogie.Strata POC Build #134: Pull request #34 synchronize by samuelchassot
3m 23s sam/heapEncoding
sam/heapEncoding
3m 23s
Heap encoding in Boogie.Strata POC BoogieToStrata CI #158: Pull request #34 synchronize by samuelchassot
3m 48s sam/heapEncoding
sam/heapEncoding
3m 48s
PR #34 CodeQL #144: by samuelchassot
2m 2s refs/pull/34/head
refs/pull/34/head
2m 2s
Refactor the Lambda and Boogie Factory contents (#36) BoogieToStrata CI #157: Commit 6258194 pushed by atomb
3m 32s main
main
3m 32s
ProTip! You can narrow down the results and go further in time using created:<2025-08-06 or the other filters available.