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

When possible, report line numbers of splits when using /trace Boogie CI #1716: Pull request #927 synchronize by keyboardDrummer
August 8, 2024 10:31 5m 34s keyboardDrummer:improvedTrace
keyboardDrummer:improvedTrace
August 8, 2024 10:31 5m 34s
When possible, report line numbers of splits when using /trace Boogie CI #1715: Pull request #927 synchronize by keyboardDrummer
August 7, 2024 13:33 7m 46s keyboardDrummer:improvedTrace
keyboardDrummer:improvedTrace
August 7, 2024 13:33 7m 46s
Optimize blocks Boogie CI #1714: Pull request #919 synchronize by keyboardDrummer
August 7, 2024 13:17 7m 39s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 7, 2024 13:17 7m 39s
Prevent creating return commands with empty tokens when copying blocks Boogie CI #1713: Pull request #926 synchronize by keyboardDrummer
August 7, 2024 12:04 6m 47s keyboardDrummer:noBadBlockTokens
keyboardDrummer:noBadBlockTokens
August 7, 2024 12:04 6m 47s
[Civl] Distributed snapshot sample Boogie CI #1712: Pull request #931 opened by shazqadeer
August 5, 2024 22:46 6m 37s snapshot-sg-fraction
snapshot-sg-fraction
August 5, 2024 22:46 6m 37s
[Civl] Added Map_Pack and Map_Unpack Boogie CI #1711: Pull request #930 opened by shazqadeer
August 5, 2024 18:57 6m 25s map-pack
map-pack
August 5, 2024 18:57 6m 25s
[Civl] Map_Split and Map_Join Boogie CI #1710: Pull request #929 opened by shazqadeer
August 2, 2024 17:44 6m 28s paxos-flake
paxos-flake
August 2, 2024 17:44 6m 28s
Upgrade to dotnet8.0 Boogie CI #1709: Pull request #928 synchronize by keyboardDrummer
August 2, 2024 13:11 6m 24s keyboardDrummer:dotnet8_2
keyboardDrummer:dotnet8_2
August 2, 2024 13:11 6m 24s
Upgrade to dotnet8.0 Boogie CI #1708: Pull request #928 synchronize by keyboardDrummer
August 2, 2024 13:06 52s keyboardDrummer:dotnet8_2
keyboardDrummer:dotnet8_2
August 2, 2024 13:06 52s
Upgrade to dotnet8.0 Boogie CI #1707: Pull request #928 synchronize by keyboardDrummer
August 2, 2024 13:01 36s keyboardDrummer:dotnet8_2
keyboardDrummer:dotnet8_2
August 2, 2024 13:01 36s
Upgrade to dotnet8.0 Boogie CI #1706: Pull request #928 opened by keyboardDrummer
August 2, 2024 12:57 1m 2s keyboardDrummer:dotnet8_2
keyboardDrummer:dotnet8_2
August 2, 2024 12:57 1m 2s
When possible, report line numbers of splits when using /trace Boogie CI #1705: Pull request #927 opened by keyboardDrummer
August 1, 2024 08:44 6m 52s keyboardDrummer:improvedTrace
keyboardDrummer:improvedTrace
August 1, 2024 08:44 6m 52s
Optimize blocks Boogie CI #1704: Pull request #919 synchronize by keyboardDrummer
August 1, 2024 08:41 6m 0s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
August 1, 2024 08:41 6m 0s
Prevent creating return commands with empty tokens when copying blocks Boogie CI #1703: Pull request #926 synchronize by keyboardDrummer
August 1, 2024 08:41 7m 58s keyboardDrummer:noBadBlockTokens
keyboardDrummer:noBadBlockTokens
August 1, 2024 08:41 7m 58s
Prevent creating return commands with empty tokens when copying blocks Boogie CI #1702: Pull request #926 opened by keyboardDrummer
July 31, 2024 20:33 6m 12s keyboardDrummer:noBadBlockTokens
keyboardDrummer:noBadBlockTokens
July 31, 2024 20:33 6m 12s
Remove .Wait call to see if this resolved CI timeouts Boogie CI #1701: Pull request #925 opened by keyboardDrummer
July 31, 2024 14:41 6m 19s keyboardDrummer:remoteWaitCall
keyboardDrummer:remoteWaitCall
July 31, 2024 14:41 6m 19s
Try increasing the timeout for individual lit tests, to make the test… Boogie CI #1700: Pull request #924 synchronize by keyboardDrummer
July 31, 2024 13:54 6h 0m 24s keyboardDrummer:timeoutIncrease
keyboardDrummer:timeoutIncrease
July 31, 2024 13:54 6h 0m 24s
Try increasing the timeout for individual lit tests, to make the test… Boogie CI #1699: Pull request #924 synchronize by keyboardDrummer
July 31, 2024 12:15 8m 21s keyboardDrummer:timeoutIncrease
keyboardDrummer:timeoutIncrease
July 31, 2024 12:15 8m 21s
Try increasing the timeout for individual lit tests, to make the test… Boogie CI #1698: Pull request #924 synchronize by keyboardDrummer
July 31, 2024 11:44 5m 27s keyboardDrummer:timeoutIncrease
keyboardDrummer:timeoutIncrease
July 31, 2024 11:44 5m 27s
Try increasing the timeout for individual lit tests, to make the test… Boogie CI #1697: Pull request #924 opened by keyboardDrummer
July 31, 2024 09:39 5m 46s keyboardDrummer:timeoutIncrease
keyboardDrummer:timeoutIncrease
July 31, 2024 09:39 5m 46s
[Civl] Add support for skip async calls (#923) Boogie CI #1696: Commit b5ea010 pushed by keyboardDrummer
July 30, 2024 12:40 6m 54s v3.2.3
v3.2.3
July 30, 2024 12:40 6m 54s
[Civl] Add support for skip async calls Boogie CI #1695: Pull request #923 opened by shazqadeer
July 30, 2024 00:14 6m 36s add-skip-async
add-skip-async
July 30, 2024 00:14 6m 36s
[Civl] Add syntax for gates of actions Boogie CI #1694: Pull request #922 opened by shazqadeer
July 28, 2024 16:38 6m 23s add-asserts
add-asserts
July 28, 2024 16:38 6m 23s
Optimize blocks Boogie CI #1693: Pull request #919 synchronize by keyboardDrummer
July 26, 2024 14:58 5m 54s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 26, 2024 14:58 5m 54s
Optimize blocks Boogie CI #1692: Pull request #919 synchronize by keyboardDrummer
July 25, 2024 12:08 5m 54s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 25, 2024 12:08 5m 54s