Skip to content

Actions: strata-org/Strata-Python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 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
Build Build #38: Merge group checks requested
7m 30s
7m 30s
Enable --keep-all-files in other strata commands Build #37: Commit ee9c8a9 pushed by strata-git-sync Bot
5m 4s main
main
5m 4s
Push on main CodeQL #43: by strata-git-sync Bot
1m 13s main
main
1m 13s
fix(ci): Update excluded CI files for new directory layout Build #36: Pull request #10 synchronize by robin-aws
21m 31s fix-ci-excluded-only
fix-ci-excluded-only
21m 31s
PR #10 CodeQL #42: by robin-aws
1m 1s refs/pull/10/head
refs/pull/10/head
1m 1s
fix(ci): Update excluded CI files for new directory layout Build #35: Pull request #10 synchronize by robin-aws
37m 6s fix-ci-excluded-only
fix-ci-excluded-only
37m 6s
PR #10 CodeQL #41: by robin-aws
47s refs/pull/10/head
refs/pull/10/head
47s
github_actions in /. - Update #1489833877 Dependabot Updates #8: by dependabot Bot
35s main
main
35s
fix(ci): Update excluded CI files for new directory layout Build #34: Pull request #10 synchronize by robin-aws
5m 27s fix-ci-excluded-only
fix-ci-excluded-only
5m 27s
PR #10 CodeQL #40: by robin-aws
56s refs/pull/10/head
refs/pull/10/head
56s
fix(ci): Update excluded CI files for new directory layout Build #33: Pull request #10 opened by robin-aws
4m 54s fix-ci-excluded-only
fix-ci-excluded-only
4m 54s
PR #10 CodeQL #39: by robin-aws
1m 0s refs/pull/10/head
refs/pull/10/head
1m 0s
Reject multi-output procedure calls from transparent bodies and contr… Build #32: Commit 3a57c46 pushed by strata-git-sync Bot
3m 46s main
main
3m 46s
Push on main CodeQL #38: by strata-git-sync Bot
1m 7s main
main
1m 7s
fix(ci): Update Strata/StrataDDM pins, fix CBMC path, adapt to API changes Build #31: Pull request #9 synchronize by robin-aws
23m 4s robin-aws/fix-ci
robin-aws/fix-ci
23m 4s
PR #9 CodeQL #37: by robin-aws
47s refs/pull/9/head
refs/pull/9/head
47s
fix(ci): Update Strata/StrataDDM pins, fix CBMC path, adapt to API changes Build #30: Pull request #9 synchronize by robin-aws
9m 47s robin-aws/fix-ci
robin-aws/fix-ci
9m 47s
PR #9 CodeQL #36: by robin-aws
56s refs/pull/9/head
refs/pull/9/head
56s
Scheduled CodeQL #35: by github-advanced-security AI
1m 7s main
main
1m 7s
Use .text explicitly instead of BEq Identifier in PythonToLaurel Build #29: Commit 7c5a6d4 pushed by strata-git-sync Bot
4m 54s main
main
4m 54s
Push on main CodeQL #34: by strata-git-sync Bot
1m 8s main
main
1m 8s
fix(ci): Update Strata/StrataDDM pins, fix CBMC path, adapt to API changes Build #28: Pull request #9 synchronize by robin-aws
25m 16s robin-aws/fix-ci
robin-aws/fix-ci
25m 16s
PR #9 CodeQL #33: by robin-aws
58s refs/pull/9/head
refs/pull/9/head
58s
fix(ci): Update Strata/StrataDDM pins, fix CBMC path, adapt to API changes Build #27: Pull request #9 synchronize by robin-aws
11m 7s robin-aws/fix-ci
robin-aws/fix-ci
11m 7s
PR #9 CodeQL #32: by robin-aws
58s refs/pull/9/head
refs/pull/9/head
58s