Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label review status #3827: Pull request #1205 submitted by PROgram52bc
11s
11s
Fix empty seq literal typing Build #9414: Pull request #1214 opened by PROgram52bc
33m 41s htd/fix-empty-seq-literal-typing-2
htd/fix-empty-seq-literal-typing-2
33m 41s
Fix empty seq literal typing Label merge conflicts #2763: Pull request #1214 opened by PROgram52bc
16s
16s
Fix empty seq literal typing Label PR areas #1979: Pull request #1214 opened by PROgram52bc
10s
10s
Fix empty seq literal typing Label review status #3826: Pull request #1214 opened by PROgram52bc
11s
11s
PR #1214 CodeQL #7961: by PROgram52bc
1m 31s refs/pull/1214/head
refs/pull/1214/head
1m 31s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label review status #3825: Pull request #1205 submitted by atomb
10s
10s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label review status #3824: Pull request #1205 submitted by MikaelMayer
11s
11s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Build #9413: Pull request #1205 synchronize by atomb
15m 28s htd/issue-1201-smt-encoding
htd/issue-1201-smt-encoding
15m 28s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label review status #3823: Pull request #1205 synchronize by atomb
10s
10s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label PR areas #1978: Pull request #1205 synchronize by atomb
22s
22s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label merge conflicts #2762: Pull request #1205 synchronize by atomb
15s
15s
PR #1205 CodeQL #7960: by atomb
1m 35s refs/pull/1205/head
refs/pull/1205/head
1m 35s
Core Expression metadata Build #9412: Pull request #1066 synchronize by MikaelMayer
1h 51m 52s issue-1065-extract-core-expression-metadata-from-pr
issue-1065-extract-core-expression-metadata-from-pr
1h 51m 52s
Core Expression metadata Label merge conflicts #2761: Pull request #1066 synchronize by MikaelMayer
14s
14s
Core Expression metadata Label review status #3822: Pull request #1066 synchronize by MikaelMayer
11s
11s
Core Expression metadata Label PR areas #1977: Pull request #1066 synchronize by MikaelMayer
13s
13s
PR #1066 CodeQL #7959: by MikaelMayer
1m 34s refs/pull/1066/head
refs/pull/1066/head
1m 34s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label review status #3821: Pull request #1205 submitted by MikaelMayer
14s
14s
Push on main2 CodeQL #7958: by github-merge-queue Bot
1m 45s main2
main2
1m 45s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Build #9411: Pull request #1205 synchronize by PROgram52bc
22m 50s htd/issue-1201-smt-encoding
htd/issue-1201-smt-encoding
22m 50s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label review status #3820: Pull request #1205 synchronize by PROgram52bc
11s
11s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label merge conflicts #2760: Pull request #1205 synchronize by PROgram52bc
14s
14s
Fix SMT encoding for polymorphic Sequence preconditions (#1201) Label PR areas #1976: Pull request #1205 synchronize by PROgram52bc
10s
10s
Build Build #9410: Merge group checks requested
37m 58s
37m 58s