Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a translator from SMT.Term to SMTDDM.Term Build #658: Pull request #177 synchronize by aqjune-aws
8m 44s jlee/smt2
jlee/smt2
8m 44s
PR #177 CodeQL #735: by aqjune-aws
1m 37s refs/pull/177/head
refs/pull/177/head
1m 37s
Push on main CodeQL #734: by github-merge-queue bot
1m 40s main
main
1m 40s
Generalize loop elimination transformation Build #657: Pull request #137 synchronize by aqjune-aws
8m 23s generalize-loop-elim
generalize-loop-elim
8m 23s
PR #137 CodeQL #733: by aqjune-aws
2m 13s refs/pull/137/head
refs/pull/137/head
2m 13s
Push on main CodeQL #732: by github-merge-queue bot
2m 4s main
main
2m 4s
[WIP] Strata language definition doc Build #656: Pull request #186 synchronize by atomb
9m 17s langdef-doc
langdef-doc
9m 17s
PR #186 CodeQL #731: by atomb
1m 48s refs/pull/186/head
refs/pull/186/head
1m 48s
[WIP] Strata language definition doc Build #655: Pull request #186 synchronize by atomb
8m 51s langdef-doc
langdef-doc
8m 51s
PR #186 CodeQL #730: by atomb
1m 41s refs/pull/186/head
refs/pull/186/head
1m 41s
[WIP] Strata language definition doc Build #654: Pull request #186 opened by atomb
10m 20s langdef-doc
langdef-doc
10m 20s
PR #186 CodeQL #729: by atomb
1m 53s refs/pull/186/head
refs/pull/186/head
1m 53s
Add another owner to a few subdirectories Build #653: Pull request #185 opened by atomb
11m 42s more-codeowners
more-codeowners
11m 42s
PR #185 CodeQL #728: by atomb
1m 45s refs/pull/185/head
refs/pull/185/head
1m 45s
Refactor type environment and unique identifier checks Build #652: Pull request #184 synchronize by joscoh
8m 49s josh/refactor-env
josh/refactor-env
8m 49s
PR #184 CodeQL #727: by joscoh
1m 30s refs/pull/184/head
refs/pull/184/head
1m 30s
Refactor type environment and unique identifier checks Build #651: Pull request #184 opened by joscoh
10m 56s josh/refactor-env
josh/refactor-env
10m 56s
PR #184 CodeQL #726: by joscoh
1m 52s refs/pull/184/head
refs/pull/184/head
1m 52s
PR #148 CodeQL #725: by andrewmwells-amazon
1m 44s refs/pull/148/head
refs/pull/148/head
1m 44s
A few more expected output files for Boogie tests Build #650: Pull request #174 synchronize by shigoel
8m 49s more-boogie-tests-2
more-boogie-tests-2
8m 49s
PR #174 CodeQL #724: by shigoel
1m 44s refs/pull/174/head
refs/pull/174/head
1m 44s
Normalize line endings in text files Build #649: Pull request #170 synchronize by atomb
10m 17s normalize-text
normalize-text
10m 17s
PR #170 CodeQL #723: by atomb
1m 49s refs/pull/170/head
refs/pull/170/head
1m 49s
feat: Use deferredEq which delegates to Lambda's .eq at evaluation time Build #648: Pull request #183 opened by ygrx532
Action required CMU-AWS-Code-Reasoning:deferred-eq
CMU-AWS-Code-Reasoning:deferred-eq
Action required
Yuyang/switch (#21) Build #647: Pull request #182 opened by ygrx532
Action required CMU-AWS-Code-Reasoning:switch-break
CMU-AWS-Code-Reasoning:switch-break
Action required