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

Simpler and more complete output from StrataVerify BoogieToStrata CI #79: Pull request #20 synchronize by atomb
5m 16s strata-verify-output
strata-verify-output
5m 16s
Simpler and more complete output from StrataVerify Build #68: Pull request #20 synchronize by atomb
6m 55s strata-verify-output
strata-verify-output
6m 55s
PR #20 CodeQL #63: by atomb
2m 52s refs/pull/20/head
refs/pull/20/head
2m 52s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #67: Pull request #17 synchronize by samuelchassot
5m 51s sam/mapAxioms
sam/mapAxioms
5m 51s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #78: Pull request #17 synchronize by samuelchassot
5m 44s sam/mapAxioms
sam/mapAxioms
5m 44s
PR #17 CodeQL #62: by samuelchassot
2m 53s refs/pull/17/head
refs/pull/17/head
2m 53s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #77: Pull request #17 synchronize by samuelchassot
5m 17s sam/mapAxioms
sam/mapAxioms
5m 17s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #66: Pull request #17 synchronize by samuelchassot
6m 6s sam/mapAxioms
sam/mapAxioms
6m 6s
PR #17 CodeQL #61: by samuelchassot
2m 47s refs/pull/17/head
refs/pull/17/head
2m 47s
Minor tweaks to CONTRIBUTING.md (#23) BoogieToStrata CI #76: Commit b2a9bee pushed by andrewmwells-amazon
5m 11s main
main
5m 11s
Push on main CodeQL #60: by andrewmwells-amazon
2m 48s main
main
2m 48s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #65: Pull request #17 synchronize by samuelchassot
5m 50s sam/mapAxioms
sam/mapAxioms
5m 50s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #75: Pull request #17 synchronize by samuelchassot
5m 10s sam/mapAxioms
sam/mapAxioms
5m 10s
PR #17 CodeQL #59: by samuelchassot
2m 50s refs/pull/17/head
refs/pull/17/head
2m 50s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #64: Pull request #17 synchronize by samuelchassot
6m 6s sam/mapAxioms
sam/mapAxioms
6m 6s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #74: Pull request #17 synchronize by samuelchassot
5m 9s sam/mapAxioms
sam/mapAxioms
5m 9s
PR #17 CodeQL #58: by samuelchassot
3m 3s refs/pull/17/head
refs/pull/17/head
3m 3s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #73: Pull request #17 synchronize by samuelchassot
5m 14s sam/mapAxioms
sam/mapAxioms
5m 14s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #63: Pull request #17 synchronize by samuelchassot
6m 32s sam/mapAxioms
sam/mapAxioms
6m 32s
PR #17 CodeQL #57: by samuelchassot
2m 59s refs/pull/17/head
refs/pull/17/head
2m 59s
Minor tweaks to CONTRIBUTING.md BoogieToStrata CI #72: Pull request #23 synchronize by andrewmwells-amazon
5m 23s andrewmwells/contributing
andrewmwells/contributing
5m 23s
Minor tweaks to CONTRIBUTING.md Build #62: Pull request #23 synchronize by andrewmwells-amazon
6m 42s andrewmwells/contributing
andrewmwells/contributing
6m 42s
PR #23 CodeQL #56: by andrewmwells-amazon
3m 3s refs/pull/23/head
refs/pull/23/head
3m 3s
Add bv1 type to Strata.Boogie BoogieToStrata CI #71: Pull request #25 opened by atomb
5m 20s bv1-type
bv1-type
5m 20s
Add bv1 type to Strata.Boogie Build #61: Pull request #25 opened by atomb
7m 47s bv1-type
bv1-type
7m 47s
ProTip! You can narrow down the results and go further in time using created:<2025-07-30 or the other filters available.