Skip to content

Actions: strata-org/Strata-CLI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Scheduled CodeQL #20: by github-advanced-security AI
45s main
main
45s
Add laurelInterpret CLI command for Laurel programs Build #26: Commit b113248 pushed by strata-git-sync Bot
13m 43s main
main
13m 43s
Add laurelInterpret CLI command for Laurel programs Deploy API Documentation #8: Commit b113248 pushed by strata-git-sync Bot
6m 0s main
main
6m 0s
Push on main CodeQL #19: by strata-git-sync Bot
45s main
main
45s
Use embedded examples library for test suite Deploy API Documentation #7: Commit c8e488a pushed by strata-git-sync Bot
10m 55s main
main
10m 55s
Use embedded examples library for test suite Build #25: Commit c8e488a pushed by strata-git-sync Bot
14m 1s main
main
14m 1s
Push on main CodeQL #18: by github-advanced-security AI
53s main
main
53s
Scheduled CodeQL #17: by github-advanced-security AI
44s main
main
44s
Scheduled CodeQL #16: by github-advanced-security AI
41s main
main
41s
Scheduled CodeQL #15: by github-advanced-security AI
48s main
main
48s
Scheduled CodeQL #14: by github-advanced-security AI
41s main
main
41s
Add downstream-check CI (builds Strata-Boogie against CLI PRs) Downstream check #1: Pull request #6 synchronize by shigoel
1s add-downstream-check
add-downstream-check
1s
Add downstream-check CI (builds Strata-Boogie against CLI PRs) Build #24: Pull request #6 synchronize by shigoel
13m 25s add-downstream-check
add-downstream-check
13m 25s
PR #6 CodeQL #13: by shigoel
37s refs/pull/6/head
refs/pull/6/head
37s
Add downstream-check CI (builds Strata-Boogie against CLI PRs) Build #23: Pull request #6 opened by shigoel
14m 14s add-downstream-check
add-downstream-check
14m 14s
PR #6 CodeQL #12: by shigoel
44s refs/pull/6/head
refs/pull/6/head
44s
Update dependencies to latest main revs Deploy API Documentation #6: Commit 43c73da pushed by shigoel
15m 5s main
main
15m 5s
Update dependencies to latest main revs Build #22: Commit 43c73da pushed by shigoel
15m 47s main
main
15m 47s
Push on main CodeQL #11: by shigoel
47s main
main
47s
Scheduled CodeQL #10: by github-advanced-security AI
58s main
main
58s
Migrate testStrataCommand.sh from the Strata repo Build #21: Pull request #5 synchronize by atomb
14m 26s test-strata-command-script
test-strata-command-script
14m 26s
PR #5 CodeQL #9: by atomb
44s refs/pull/5/head
refs/pull/5/head
44s
Migrate testStrataCommand.sh from the Strata repo Build #20: Pull request #5 opened by atomb
15m 54s test-strata-command-script
test-strata-command-script
15m 54s
PR #5 CodeQL #8: by atomb
1m 24s refs/pull/5/head
refs/pull/5/head
1m 24s
Merge pull request #4 from strata-org/python-package Build #19: Commit f9a6a60 pushed by atomb
15m 24s main
main
15m 24s