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

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
Add script to check for copyright header in .lean files in CI BoogieToStrata CI #25: Pull request #11 synchronize by andrewmwells-amazon
6m 12s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
6m 12s
PR #11 CodeQL #9: by andrewmwells-amazon
2m 22s refs/pull/11/head
refs/pull/11/head
2m 22s
Add script to check for copyright header in .lean files in CI BoogieToStrata CI #24: Pull request #11 synchronize by andrewmwells-amazon
6m 30s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
6m 30s
Add script to check for copyright header in .lean files in CI Build #25: Pull request #11 synchronize by andrewmwells-amazon
8m 10s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
8m 10s
PR #11 CodeQL #8: by andrewmwells-amazon
2m 37s refs/pull/11/head
refs/pull/11/head
2m 37s
Add script to check for copyright header in .lean files in CI Build #24: Pull request #11 synchronize by andrewmwells-amazon
3m 30s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
3m 30s
Add script to check for copyright header in .lean files in CI BoogieToStrata CI #23: Pull request #11 synchronize by andrewmwells-amazon
6m 13s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
6m 13s
PR #11 CodeQL #7: by andrewmwells-amazon
2m 31s refs/pull/11/head
refs/pull/11/head
2m 31s
Add script to check for copyright header in .lean files in CI BoogieToStrata CI #22: Pull request #11 synchronize by andrewmwells-amazon
6m 0s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
6m 0s
Add script to check for copyright header in .lean files in CI Build #23: Pull request #11 synchronize by andrewmwells-amazon
7m 10s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
7m 10s
PR #11 CodeQL #6: by andrewmwells-amazon
2m 31s refs/pull/11/head
refs/pull/11/head
2m 31s
Add script to check for copyright header in .lean files in CI BoogieToStrata CI #21: Pull request #11 opened by andrewmwells-amazon
6m 11s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
6m 11s
Add script to check for copyright header in .lean files in CI Build #22: Pull request #11 opened by andrewmwells-amazon
7m 25s andrewmwells/ci_copyright_headers
andrewmwells/ci_copyright_headers
7m 25s
PR #11 CodeQL #5: by andrewmwells-amazon
2m 35s refs/pull/11/head
refs/pull/11/head
2m 35s
Add support for real, bv8, bv16, bv32, bv64 Build #21: Pull request #8 synchronize by atomb
6m 29s real-bv-types
real-bv-types
6m 29s
Add support for real, bv8, bv16, bv32, bv64 BoogieToStrata CI #20: Pull request #8 synchronize by atomb
5m 38s real-bv-types
real-bv-types
5m 38s
PR #8 CodeQL #4: by atomb
2m 36s refs/pull/8/head
refs/pull/8/head
2m 36s
Change default names for assertions to avoid crashes with z3. BoogieToStrata CI #19: Pull request #10 synchronize by samuelchassot
6m 6s sam/fixAssertnames
sam/fixAssertnames
6m 6s
Change default names for assertions to avoid crashes with z3. Build #20: Pull request #10 synchronize by samuelchassot
7m 18s sam/fixAssertnames
sam/fixAssertnames
7m 18s
PR #10 CodeQL #3: by samuelchassot
2m 27s refs/pull/10/head
refs/pull/10/head
2m 27s
Move SMT inside DL folder (#9) BoogieToStrata CI #18: Commit 2c93b17 pushed by github-merge-queue bot
6m 5s main
main
6m 5s
Push on main CodeQL #2: by github-merge-queue bot
2m 17s main
main
2m 17s
CodeQL Setup CodeQL #1: by andrewmwells-amazon
2m 32s main
main
2m 32s
Change default names for assertions to avoid crashes with z3. BoogieToStrata CI #17: Pull request #10 opened by samuelchassot
6m 25s sam/fixAssertnames
sam/fixAssertnames
6m 25s
ProTip! You can narrow down the results and go further in time using created:<2025-07-28 or the other filters available.