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

Formatting and refactoring for API-level Documentation (#13) BoogieToStrata CI #34: Commit 0e4d2b5 pushed by github-merge-queue bot
7m 4s main
main
7m 4s
Push on main CodeQL #18: by github-merge-queue bot
2m 9s main
main
2m 9s
Create vcs dir if it doesn't exist (#12) BoogieToStrata CI #33: Commit 91f5ee7 pushed by github-merge-queue bot
6m 16s main
main
6m 16s
Push on main CodeQL #17: by github-merge-queue bot
2m 18s main
main
2m 18s
Change default names for assertions to avoid crashes with z3. Build #32: Pull request #10 synchronize by samuelchassot
7m 37s sam/fixAssertnames
sam/fixAssertnames
7m 37s
Change default names for assertions to avoid crashes with z3. BoogieToStrata CI #32: Pull request #10 synchronize by samuelchassot
6m 35s sam/fixAssertnames
sam/fixAssertnames
6m 35s
PR #10 CodeQL #16: by samuelchassot
2m 28s refs/pull/10/head
refs/pull/10/head
2m 28s
Formatting and refactoring for API-level Documentation Build #31: Pull request #13 opened by shigoel
7m 29s docs-format
docs-format
7m 29s
Formatting and refactoring for API-level Documentation BoogieToStrata CI #31: Pull request #13 opened by shigoel
5m 49s docs-format
docs-format
5m 49s
PR #13 CodeQL #15: by shigoel
2m 35s refs/pull/13/head
refs/pull/13/head
2m 35s
Change default names for assertions to avoid crashes with z3. Build #30: Pull request #10 synchronize by samuelchassot
7m 31s sam/fixAssertnames
sam/fixAssertnames
7m 31s
Change default names for assertions to avoid crashes with z3. BoogieToStrata CI #30: Pull request #10 synchronize by samuelchassot
6m 51s sam/fixAssertnames
sam/fixAssertnames
6m 51s
PR #10 CodeQL #14: by samuelchassot
2m 28s refs/pull/10/head
refs/pull/10/head
2m 28s
Change default names for assertions to avoid crashes with z3. BoogieToStrata CI #29: Pull request #10 synchronize by samuelchassot
6m 55s sam/fixAssertnames
sam/fixAssertnames
6m 55s
Change default names for assertions to avoid crashes with z3. Build #29: Pull request #10 synchronize by samuelchassot
7m 21s sam/fixAssertnames
sam/fixAssertnames
7m 21s
PR #10 CodeQL #13: by samuelchassot
2m 37s refs/pull/10/head
refs/pull/10/head
2m 37s
Create vcs dir if it doesn't exist BoogieToStrata CI #28: Pull request #12 opened by andrewmwells-amazon
7m 4s andrewmwells/strataverify_mkdir_vcs
andrewmwells/strataverify_mkdir_vcs
7m 4s
Create vcs dir if it doesn't exist Build #28: Pull request #12 opened by andrewmwells-amazon
7m 28s andrewmwells/strataverify_mkdir_vcs
andrewmwells/strataverify_mkdir_vcs
7m 28s
PR #12 CodeQL #12: by andrewmwells-amazon
2m 25s refs/pull/12/head
refs/pull/12/head
2m 25s
Add script to check for copyright header in .lean files in CI (#11) BoogieToStrata CI #27: Commit 66740c6 pushed by github-merge-queue bot
6m 53s main
main
6m 53s
Push on main CodeQL #11: by github-merge-queue bot
2m 20s main
main
2m 20s
Add script to check for copyright header in .lean files in CI BoogieToStrata CI #26: Pull request #11 synchronize by andrewmwells-amazon
6m 32s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
6m 32s
Add script to check for copyright header in .lean files in CI Build #27: Pull request #11 synchronize by andrewmwells-amazon
7m 11s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
7m 11s
PR #11 CodeQL #10: by andrewmwells-amazon
2m 17s refs/pull/11/head
refs/pull/11/head
2m 17s
Add script to check for copyright header in .lean files in CI Build #26: Pull request #11 synchronize by andrewmwells-amazon
7m 17s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
7m 17s
ProTip! You can narrow down the results and go further in time using created:<2025-07-28 or the other filters available.