Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a few doc comments Build #60: Pull request #24 opened by atomb
7m 36s some-doc-comments
some-doc-comments
7m 36s
Add a few doc comments BoogieToStrata CI #70: Pull request #24 opened by atomb
5m 11s some-doc-comments
some-doc-comments
5m 11s
PR #24 CodeQL #54: by atomb
2m 59s refs/pull/24/head
refs/pull/24/head
2m 59s
Minor tweaks to CONTRIBUTING.md BoogieToStrata CI #69: Pull request #23 synchronize by andrewmwells-amazon
5m 44s andrewmwells/contributing
andrewmwells/contributing
5m 44s
Minor tweaks to CONTRIBUTING.md Build #59: Pull request #23 synchronize by andrewmwells-amazon
6m 32s andrewmwells/contributing
andrewmwells/contributing
6m 32s
PR #23 CodeQL #53: by andrewmwells-amazon
2m 54s refs/pull/23/head
refs/pull/23/head
2m 54s
Add DDM support for special comment annotations. (#21) BoogieToStrata CI #68: Commit 3d617ca pushed by joehendrix
5m 14s main
main
5m 14s
Push on main CodeQL #52: by joehendrix
2m 49s main
main
2m 49s
Loops in Imperative Build #58: Pull request #18 synchronize by andrewmwells-amazon
6m 33s andrewmwells/loop_imp
andrewmwells/loop_imp
6m 33s
Loops in Imperative BoogieToStrata CI #67: Pull request #18 synchronize by andrewmwells-amazon
5m 32s andrewmwells/loop_imp
andrewmwells/loop_imp
5m 32s
PR #18 CodeQL #51: by andrewmwells-amazon
2m 56s refs/pull/18/head
refs/pull/18/head
2m 56s
Add DDM support for special comment annotations. BoogieToStrata CI #66: Pull request #21 synchronize by joehendrix
5m 24s jhx/extended_comments
jhx/extended_comments
5m 24s
Add DDM support for special comment annotations. Build #57: Pull request #21 synchronize by joehendrix
6m 17s jhx/extended_comments
jhx/extended_comments
6m 17s
PR #21 CodeQL #50: by joehendrix
2m 47s refs/pull/21/head
refs/pull/21/head
2m 47s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions Build #56: Pull request #17 synchronize by samuelchassot
6m 25s sam/mapAxioms
sam/mapAxioms
6m 25s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #65: Pull request #17 synchronize by samuelchassot
5m 13s sam/mapAxioms
sam/mapAxioms
5m 13s
PR #17 CodeQL #49: by samuelchassot
2m 43s refs/pull/17/head
refs/pull/17/head
2m 43s
Minor tweaks to CONTRIBUTING.md Build #55: Pull request #23 opened by andrewmwells-amazon
7m 28s andrewmwells/contributing
andrewmwells/contributing
7m 28s
Minor tweaks to CONTRIBUTING.md BoogieToStrata CI #64: Pull request #23 opened by andrewmwells-amazon
5m 1s andrewmwells/contributing
andrewmwells/contributing
5m 1s
PR #23 CodeQL #48: by andrewmwells-amazon
2m 55s refs/pull/23/head
refs/pull/23/head
2m 55s
Simpler and more complete output from StrataVerify BoogieToStrata CI #63: Pull request #20 synchronize by atomb
5m 12s strata-verify-output
strata-verify-output
5m 12s
Simpler and more complete output from StrataVerify Build #54: Pull request #20 synchronize by atomb
7m 6s strata-verify-output
strata-verify-output
7m 6s
PR #20 CodeQL #47: by atomb
2m 49s refs/pull/20/head
refs/pull/20/head
2m 49s
Add boolean literals to ArithPrograms (#22) BoogieToStrata CI #62: Commit 586deb7 pushed by atomb
5m 18s main
main
5m 18s
Push on main CodeQL #46: by atomb
2m 49s main
main
2m 49s
ProTip! You can narrow down the results and go further in time using created:<2025-07-30 or the other filters available.