Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Use deferredEq which delegates to Lambda's .eq at evaluation time Build #648: Pull request #183 opened by ygrx532
10m 9s CMU-AWS-Code-Reasoning:deferred-eq
CMU-AWS-Code-Reasoning:deferred-eq
10m 9s
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
[feat] Add support to arr.map() Build #645: Pull request #178 opened by zhiyuuuu
Action required CMU-AWS-Code-Reasoning:array-map
CMU-AWS-Code-Reasoning:array-map
Action required
Scheduled CodeQL #722: by github-advanced-security bot
1m 56s main
main
1m 56s
PR #148 CodeQL #721: by shigoel
1m 41s refs/pull/148/head
refs/pull/148/head
1m 41s
PR #148 CodeQL #720: by shigoel
1m 38s refs/pull/148/head
refs/pull/148/head
1m 38s
Generalize loop elimination transformation Build #644: Pull request #137 synchronize by atomb
8m 25s generalize-loop-elim
generalize-loop-elim
8m 25s
PR #137 CodeQL #719: by atomb
1m 54s refs/pull/137/head
refs/pull/137/head
1m 54s
Add a translator from SMT.Term to SMTDDM.Term Build #643: Pull request #177 synchronize by aqjune-aws
8m 57s jlee/smt2
jlee/smt2
8m 57s
PR #177 CodeQL #718: by aqjune-aws
1m 49s refs/pull/177/head
refs/pull/177/head
1m 49s
Generalize loop elimination transformation Build #642: Pull request #137 synchronize by atomb
8m 38s generalize-loop-elim
generalize-loop-elim
8m 38s
PR #137 CodeQL #717: by atomb
1m 59s refs/pull/137/head
refs/pull/137/head
1m 59s
PR #148 CodeQL #716: by shigoel
1m 57s refs/pull/148/head
refs/pull/148/head
1m 57s
Push on main CodeQL #715: by github-merge-queue bot
1m 40s main
main
1m 40s
Generalize loop elimination transformation Build #641: Pull request #137 synchronize by atomb
9m 6s generalize-loop-elim
generalize-loop-elim
9m 6s
PR #137 CodeQL #714: by atomb
3m 16s refs/pull/137/head
refs/pull/137/head
3m 16s
Add a translator from SMT.Term to SMTDDM.Term Build #640: Pull request #177 opened by aqjune-aws
11m 1s jlee/smt2
jlee/smt2
11m 1s
PR #177 CodeQL #713: by aqjune-aws
1m 46s refs/pull/177/head
refs/pull/177/head
1m 46s
Fill-in proof for ProgramWF Build #639: Pull request #162 synchronize by thanhnguyen-aws
13m 26s thanhnguyen-aws:statementwf
thanhnguyen-aws:statementwf
13m 26s
Fill-in proof for ProgramWF Build #638: Pull request #162 synchronize by atomb
11m 3s thanhnguyen-aws:statementwf
thanhnguyen-aws:statementwf
11m 3s
Push on main CodeQL #712: by github-merge-queue bot
1m 45s main
main
1m 45s
Add Laurel, a language for compiling Java to, and in the future also other languages Build #637: Pull request #152 synchronize by shigoel
8m 30s keyboardDrummer:highStrata
keyboardDrummer:highStrata
8m 30s
[feat] Add support to object string properties Build #635: Pull request #176 opened by zhiyuuuu
Action required CMU-AWS-Code-Reasoning:object-string-properties
CMU-AWS-Code-Reasoning:object-string-properties
Action required
PR #148 CodeQL #711: by shigoel
1m 42s refs/pull/148/head
refs/pull/148/head
1m 42s
array: added forEach() access, added tests Build #634: Pull request #175 opened by Ex10si0n
9m 40s CMU-AWS-Code-Reasoning:array-foreach-upload
CMU-AWS-Code-Reasoning:array-foreach-upload
9m 40s