Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,760 workflow runs
1,760 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add axiomatization infrastructure for Boogie functions, add axioms for maps functions .github/workflows/ci.yml #47: Pull request #17 synchronize by samuelchassot
7m 40s sam/mapAxioms
sam/mapAxioms
7m 40s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #52: Pull request #17 synchronize by samuelchassot
5m 21s sam/mapAxioms
sam/mapAxioms
5m 21s
PR #17 CodeQL #36: by samuelchassot
2m 30s refs/pull/17/head
refs/pull/17/head
2m 30s
Add a CODEOWNERS file BoogieToStrata CI #51: Pull request #19 opened by shigoel
5m 19s codeowners
codeowners
5m 19s
Add a CODEOWNERS file .github/workflows/ci.yml #46: Pull request #19 opened by shigoel
7m 36s codeowners
codeowners
7m 36s
PR #19 CodeQL #35: by shigoel
2m 26s refs/pull/19/head
refs/pull/19/head
2m 26s
Loops in Imperative BoogieToStrata CI #50: Pull request #18 opened by andrewmwells-amazon
5m 19s andrewmwells/loop_imp
andrewmwells/loop_imp
5m 19s
Loops in Imperative .github/workflows/ci.yml #45: Pull request #18 opened by andrewmwells-amazon
7m 32s andrewmwells/loop_imp
andrewmwells/loop_imp
7m 32s
PR #18 CodeQL #34: by andrewmwells-amazon
2m 25s refs/pull/18/head
refs/pull/18/head
2m 25s
This adds some additional CI steps including two lint rules from Batt… BoogieToStrata CI #49: Commit 06dee6c pushed by github-merge-queue bot
5m 19s main
main
5m 19s
Push on main CodeQL #33: by github-merge-queue bot
2m 25s main
main
2m 25s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions .github/workflows/ci.yml #44: Pull request #17 synchronize by samuelchassot
6m 44s sam/mapAxioms
sam/mapAxioms
6m 44s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #48: Pull request #17 synchronize by samuelchassot
5m 41s sam/mapAxioms
sam/mapAxioms
5m 41s
PR #17 CodeQL #32: by samuelchassot
2m 35s refs/pull/17/head
refs/pull/17/head
2m 35s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions .github/workflows/ci.yml #43: Pull request #17 opened by samuelchassot
6m 36s sam/mapAxioms
sam/mapAxioms
6m 36s
Add axiomatization infrastructure for Boogie functions, add axioms for maps functions BoogieToStrata CI #47: Pull request #17 opened by samuelchassot
5m 34s sam/mapAxioms
sam/mapAxioms
5m 34s
PR #17 CodeQL #31: by samuelchassot
2m 20s refs/pull/17/head
refs/pull/17/head
2m 20s
Add one LICENSE file that refers to the other two .github/workflows/ci.yml #42: Pull request #16 synchronize by atomb
6m 41s license-file
license-file
6m 41s
Add one LICENSE file that refers to the other two BoogieToStrata CI #46: Pull request #16 synchronize by atomb
6m 15s license-file
license-file
6m 15s
PR #16 CodeQL #30: by atomb
2m 35s refs/pull/16/head
refs/pull/16/head
2m 35s
Change default names for assertions to avoid crashes with z3. BoogieToStrata CI #45: Pull request #10 synchronize by samuelchassot
5m 59s sam/fixAssertnames
sam/fixAssertnames
5m 59s
Change default names for assertions to avoid crashes with z3. .github/workflows/ci.yml #41: Pull request #10 synchronize by samuelchassot
6m 55s sam/fixAssertnames
sam/fixAssertnames
6m 55s
PR #10 CodeQL #29: by samuelchassot
2m 30s refs/pull/10/head
refs/pull/10/head
2m 30s
This adds some additional CI steps including two lint rules from Batteries and building documentation. BoogieToStrata CI #44: Pull request #15 synchronize by joehendrix
5m 35s jhx/doc_ci
jhx/doc_ci
5m 35s
This adds some additional CI steps including two lint rules from Batteries and building documentation. .github/workflows/ci.yml #40: Pull request #15 synchronize by joehendrix
6m 33s jhx/doc_ci
jhx/doc_ci
6m 33s
ProTip! You can narrow down the results and go further in time using created:<2025-07-29 or the other filters available.