Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
4,092 workflow runs
4,092 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #12284: Scheduled
December 6, 2024 02:45 2h 7m 58s master
master
December 6, 2024 02:45 2h 7m 58s
Sparsification of Affine Equality Matrix locked #12283: Pull request #1625 synchronize by GollokG
December 5, 2024 21:59 21m 42s CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 21:59 21m 42s
Sparsification of Affine Equality Matrix locked #12282: Pull request #1625 synchronize by charlotte-brandt
December 5, 2024 16:41 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 16:41 Action required
Sparsification of Affine Equality Matrix locked #12281: Pull request #1625 synchronize by CopperCableIsolator
December 5, 2024 16:04 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 16:04 Action required
Sparsification of Affine Equality Matrix locked #12280: Pull request #1625 synchronize by CopperCableIsolator
December 5, 2024 15:56 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 15:56 Action required
Sparsification of Affine Equality Matrix locked #12279: Pull request #1625 synchronize by charlotte-brandt
December 5, 2024 15:51 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 15:51 Action required
Sparsification of Affine Equality Matrix locked #12278: Pull request #1625 synchronize by CopperCableIsolator
December 5, 2024 15:37 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 15:37 Action required
Sparsification of Affine Equality Matrix locked #12277: Pull request #1625 synchronize by CopperCableIsolator
December 5, 2024 15:28 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 15:28 Action required
Sparsification of Affine Equality Matrix locked #12276: Pull request #1625 synchronize by GollokG
December 5, 2024 14:37 24m 49s CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 14:37 24m 49s
Sparsification of Affine Equality Matrix locked #12275: Pull request #1625 synchronize by charlotte-brandt
December 5, 2024 08:53 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 5, 2024 08:53 Action required
locked locked #12274: Scheduled
December 5, 2024 02:46 2h 7m 52s master
master
December 5, 2024 02:46 2h 7m 52s
Sparsification of Affine Equality Matrix locked #12273: Pull request #1625 synchronize by GollokG
December 4, 2024 17:41 19m 42s CopperCableIsolator:master
CopperCableIsolator:master
December 4, 2024 17:41 19m 42s
Sparsification of Affine Equality Matrix locked #12272: Pull request #1625 synchronize by charlotte-brandt
December 4, 2024 16:22 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 4, 2024 16:22 Action required
Simplify relational witness invariants locked #12271: Pull request #1630 synchronize by sim642
December 4, 2024 13:25 19m 50s apron-invariant-simplify
apron-invariant-simplify
December 4, 2024 13:25 19m 50s
Refactor Apron cil_exp_of_lincons1 locked #12270: Commit c69622d pushed by sim642
December 4, 2024 13:25 24m 59s apron-invariant-simplify
apron-invariant-simplify
December 4, 2024 13:25 24m 59s
Simplify relational witness invariants locked #12269: Pull request #1630 synchronize by sim642
December 4, 2024 13:05 32m 6s apron-invariant-simplify
apron-invariant-simplify
December 4, 2024 13:05 32m 6s
Move Lincons1Set simplification to GobApron locked #12268: Commit 1de9009 pushed by sim642
December 4, 2024 13:05 29m 10s apron-invariant-simplify
apron-invariant-simplify
December 4, 2024 13:05 29m 10s
locked locked #12267: Scheduled
December 4, 2024 02:45 2h 19m 27s master
master
December 4, 2024 02:45 2h 19m 27s
Sparsification of Affine Equality Matrix locked #12266: Pull request #1625 synchronize by GollokG
December 3, 2024 17:51 27m 42s CopperCableIsolator:master
CopperCableIsolator:master
December 3, 2024 17:51 27m 42s
Bitfield Domain locked #12265: Pull request #1623 synchronize by ManuelLerchner
December 3, 2024 15:21 23m 12s ManuelLerchner:master
ManuelLerchner:master
December 3, 2024 15:21 23m 12s
Narrowing of globals in TD locked #12264: Pull request #1636 synchronize by Red-Panda64
December 3, 2024 14:44 25m 32s Red-Panda64:feature/divide-and-narrow
Red-Panda64:feature/divide-and-narrow
December 3, 2024 14:44 25m 32s
Sparsification of Affine Equality Matrix locked #12263: Pull request #1625 synchronize by charlotte-brandt
December 3, 2024 14:26 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 3, 2024 14:26 Action required
Sparsification of Affine Equality Matrix locked #12262: Pull request #1625 synchronize by GollokG
December 3, 2024 14:14 21m 3s CopperCableIsolator:master
CopperCableIsolator:master
December 3, 2024 14:14 21m 3s
Sparsification of Affine Equality Matrix locked #12261: Pull request #1625 synchronize by charlotte-brandt
December 3, 2024 13:45 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 3, 2024 13:45 Action required
Sparsification of Affine Equality Matrix locked #12260: Pull request #1625 synchronize by GollokG
December 3, 2024 13:33 22m 43s CopperCableIsolator:master
CopperCableIsolator:master
December 3, 2024 13:33 22m 43s