Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on main CodeQL #46: by atomb
2m 49s main
main
2m 49s
Add boolean literals to ArithPrograms BoogieToStrata CI #61: Pull request #22 synchronize by shigoel
5m 27s arith_bugfix
arith_bugfix
5m 27s
Add boolean literals to ArithPrograms Build #53: Pull request #22 synchronize by shigoel
6m 10s arith_bugfix
arith_bugfix
6m 10s
PR #22 CodeQL #45: by shigoel
2m 50s refs/pull/22/head
refs/pull/22/head
2m 50s
Add a CODEOWNERS file (#19) BoogieToStrata CI #60: Commit 2a1eb2f pushed by github-merge-queue bot
6m 12s main
main
6m 12s
Push on main CodeQL #44: by github-merge-queue bot
2m 22s main
main
2m 22s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #59: Pull request #17 synchronize by samuelchassot
5m 42s sam/mapAxioms
sam/mapAxioms
5m 42s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #52: Pull request #17 synchronize by samuelchassot
6m 25s sam/mapAxioms
sam/mapAxioms
6m 25s
PR #17 CodeQL #43: by samuelchassot
2m 23s refs/pull/17/head
refs/pull/17/head
2m 23s
Add boolean literals to ArithPrograms BoogieToStrata CI #58: Pull request #22 opened by shigoel
5m 32s arith_bugfix
arith_bugfix
5m 32s
Add boolean literals to ArithPrograms Build #51: Pull request #22 opened by shigoel
7m 40s arith_bugfix
arith_bugfix
7m 40s
PR #22 CodeQL #42: by shigoel
2m 34s refs/pull/22/head
refs/pull/22/head
2m 34s
Change default names for assertions to avoid crashes with z3. (#10) BoogieToStrata CI #57: Commit 1185698 pushed by github-merge-queue bot
5m 10s main
main
5m 10s
Push on main CodeQL #41: by github-merge-queue bot
2m 32s main
main
2m 32s
Add DDM support for special comment annotations. Build #50: Pull request #21 opened by joehendrix
7m 31s jhx/extended_comments
jhx/extended_comments
7m 31s
Add DDM support for special comment annotations. BoogieToStrata CI #56: Pull request #21 opened by joehendrix
5m 27s jhx/extended_comments
jhx/extended_comments
5m 27s
PR #21 CodeQL #40: by joehendrix
2m 41s refs/pull/21/head
refs/pull/21/head
2m 41s
Add one LICENSE file that refers to the other two (#16) BoogieToStrata CI #55: Commit 3dfee7a pushed by github-merge-queue bot
5m 1s main
main
5m 1s
Push on main CodeQL #39: by github-merge-queue bot
2m 29s main
main
2m 29s
Simpler and more complete output from StrataVerify BoogieToStrata CI #54: Pull request #20 synchronize by atomb
5m 29s strata-verify-output
strata-verify-output
5m 29s
Simpler and more complete output from StrataVerify Build #49: Pull request #20 synchronize by atomb
7m 30s strata-verify-output
strata-verify-output
7m 30s
PR #20 CodeQL #38: by atomb
2m 31s refs/pull/20/head
refs/pull/20/head
2m 31s
Simpler and more complete output from StrataVerify Build #48: Pull request #20 opened by atomb
7m 41s strata-verify-output
strata-verify-output
7m 41s
Simpler and more complete output from StrataVerify BoogieToStrata CI #53: Pull request #20 opened by atomb
2m 35s strata-verify-output
strata-verify-output
2m 35s
PR #20 CodeQL #37: by atomb
2m 22s refs/pull/20/head
refs/pull/20/head
2m 22s
ProTip! You can narrow down the results and go further in time using created:<2025-07-29 or the other filters available.