Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #148 CodeQL #684: by shigoel
1m 30s refs/pull/148/head
refs/pull/148/head
1m 30s
PR #148 CodeQL #683: by shigoel
1m 36s refs/pull/148/head
refs/pull/148/head
1m 36s
Add feature for Build #593: Pull request #165 opened by Ex10si0n
Action required CMU-AWS-Code-Reasoning:feature/for
CMU-AWS-Code-Reasoning:feature/for
Action required
Add feature while Build #592: Pull request #164 opened by Ex10si0n
Action required CMU-AWS-Code-Reasoning:feature/while
CMU-AWS-Code-Reasoning:feature/while
Action required
Push on main CodeQL #682: by github-merge-queue bot
1m 43s main
main
1m 43s
Scheduled CodeQL #681: by github-advanced-security bot
2m 34s main
main
2m 34s
PR #148 CodeQL #680: by andrewmwells-amazon
1m 44s refs/pull/148/head
refs/pull/148/head
1m 44s
PR #148 CodeQL #679: by andrewmwells-amazon
1m 47s refs/pull/148/head
refs/pull/148/head
1m 47s
PR #148 CodeQL #678: by andrewmwells-amazon
4m 38s refs/pull/148/head
refs/pull/148/head
4m 38s
PR #148 CodeQL #677: by andrewmwells-amazon
1m 41s refs/pull/148/head
refs/pull/148/head
1m 41s
PR #148 CodeQL #676: by andrewmwells-amazon
1m 41s refs/pull/148/head
refs/pull/148/head
1m 41s
Replace Identifier with String x Metadata Build #591: Pull request #163 opened by joscoh
10m 1s josh/identifier
josh/identifier
10m 1s
PR #163 CodeQL #675: by joscoh
1m 41s refs/pull/163/head
refs/pull/163/head
1m 41s
PR #148 CodeQL #674: by shigoel
1m 40s refs/pull/148/head
refs/pull/148/head
1m 40s
PR #148 CodeQL #673: by shigoel
1m 40s refs/pull/148/head
refs/pull/148/head
1m 40s
Push on main CodeQL #672: by github-merge-queue bot
1m 43s main
main
1m 43s
PR #148 CodeQL #671: by shigoel
1m 39s refs/pull/148/head
refs/pull/148/head
1m 39s
Rearrange sizeOf to ease termination proofs Build #590: Pull request #133 synchronize by atomb
12m 21s simplify-termination-proofs
simplify-termination-proofs
12m 21s
PR #133 CodeQL #670: by atomb
1m 38s refs/pull/133/head
refs/pull/133/head
1m 38s
Generalize loop elimination transformation Build #589: Pull request #137 synchronize by atomb
9m 5s generalize-loop-elim
generalize-loop-elim
9m 5s
PR #137 CodeQL #669: by atomb
1m 50s refs/pull/137/head
refs/pull/137/head
1m 50s
Add HighStrata Build #588: Pull request #152 synchronize by keyboardDrummer
Action required keyboardDrummer:highStrata
keyboardDrummer:highStrata
Action required
Add HighStrata Build #587: Pull request #152 synchronize by atomb
Action required keyboardDrummer:highStrata
keyboardDrummer:highStrata
Action required
Add position info to DDM. Build #586: Pull request #112 synchronize by joehendrix
9m 31s jhx/position_info
jhx/position_info
9m 31s
PR #112 CodeQL #668: by joehendrix
1m 47s refs/pull/112/head
refs/pull/112/head
1m 47s