Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
525 workflow runs
525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize blocks Boogie CI #1743: Pull request #919 synchronize by keyboardDrummer
August 13, 2024 11:47 5m 37s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 13, 2024 11:47 5m 37s
Optimize blocks Boogie CI #1742: Pull request #919 synchronize by keyboardDrummer
August 13, 2024 11:46 5m 50s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 13, 2024 11:46 5m 50s
Optimize blocks Boogie CI #1741: Pull request #919 synchronize by keyboardDrummer
August 13, 2024 11:44 6m 41s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 13, 2024 11:44 6m 41s
Optimize blocks Boogie CI #1740: Pull request #919 synchronize by keyboardDrummer
August 13, 2024 11:42 6m 25s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 13, 2024 11:42 6m 25s
Fix: Spurious message of checkerpool already disposed. Boogie CI #1739: Pull request #937 synchronize by MikaelMayer
August 13, 2024 02:28 6m 25s fix-ci-checkerpool-disposed
fix-ci-checkerpool-disposed
August 13, 2024 02:28 6m 25s
Fix: Spurious message of checkerpool already disposed. Boogie CI #1738: Pull request #937 opened by MikaelMayer
August 13, 2024 01:18 6m 9s fix-ci-checkerpool-disposed
fix-ci-checkerpool-disposed
August 13, 2024 01:18 6m 9s
Extract classes out of DeadVarElim Boogie CI #1737: Pull request #935 opened by keyboardDrummer
August 12, 2024 11:17 6m 46s keyboardDrummer:deadVarElimRefactor
keyboardDrummer:deadVarElimRefactor
August 12, 2024 11:17 6m 46s
Optimize blocks Boogie CI #1736: Pull request #919 synchronize by keyboardDrummer
August 12, 2024 10:30 6m 5s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 12, 2024 10:30 6m 5s
Optimize blocks Boogie CI #1735: Pull request #919 synchronize by keyboardDrummer
August 10, 2024 14:34 5m 11s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 10, 2024 14:34 5m 11s
Optimize blocks Boogie CI #1734: Pull request #919 synchronize by keyboardDrummer
August 10, 2024 14:02 5m 5s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 10, 2024 14:02 5m 5s
Resolve Boogie test deadlocks Boogie CI #1733: Pull request #932 synchronize by keyboardDrummer
August 10, 2024 08:19 5m 21s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 10, 2024 08:19 5m 21s
Resolve Boogie test deadlocks Boogie CI #1732: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 15:28 5m 49s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 15:28 5m 49s
Resolve Boogie test deadlocks Boogie CI #1731: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 15:16 5m 17s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 15:16 5m 17s
Resolve Boogie test deadlocks Boogie CI #1730: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 14:42 1m 9s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 14:42 1m 9s
Resolve Boogie test deadlocks Boogie CI #1729: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 13:51 1m 24s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 13:51 1m 24s
Resolve Boogie test deadlocks Boogie CI #1728: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 10:43 1m 16s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 10:43 1m 16s
Resolve Boogie test deadlocks Boogie CI #1727: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 10:20 6m 0s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 10:20 6m 0s
Resolve Boogie test deadlocks Boogie CI #1726: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 09:43 5m 51s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 09:43 5m 51s
Resolve Boogie test deadlocks Boogie CI #1725: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 09:03 6m 24s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 09:03 6m 24s
Resolve Boogie test deadlocks Boogie CI #1724: Pull request #932 synchronize by keyboardDrummer
August 9, 2024 08:10 5m 3s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 9, 2024 08:10 5m 3s
Resolve Boogie test deadlocks Boogie CI #1721: Pull request #932 synchronize by keyboardDrummer
August 8, 2024 21:00 1m 3s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 8, 2024 21:00 1m 3s
Resolve Boogie test deadlocks Boogie CI #1720: Pull request #932 synchronize by keyboardDrummer
August 8, 2024 14:47 1m 11s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 8, 2024 14:47 1m 11s
Resolve Boogie test deadlocks Boogie CI #1719: Pull request #932 synchronize by keyboardDrummer
August 8, 2024 13:21 1m 13s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 8, 2024 13:21 1m 13s
Resolve Boogie test deadlocks Boogie CI #1718: Pull request #932 synchronize by keyboardDrummer
August 8, 2024 13:21 1m 25s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 8, 2024 13:21 1m 25s
Resolve Boogie test deadlocks Boogie CI #1717: Pull request #932 opened by keyboardDrummer
August 8, 2024 13:08 1m 25s keyboardDrummer:setTimeout
keyboardDrummer:setTimeout
August 8, 2024 13:08 1m 25s