Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Eliminate redundant computation in VC experession translation LeanAuto CI #439: Pull request #1009 synchronize by shazqadeer
5m 58s vcexpr-translate-fix
vcexpr-translate-fix
5m 58s
Eliminate redundant computation in VC experession translation Boogie CI #1940: Pull request #1009 synchronize by shazqadeer
5m 20s vcexpr-translate-fix
vcexpr-translate-fix
5m 20s
Eliminate redundant computation in VC experession translation LeanAuto CI #438: Pull request #1009 opened by shazqadeer
6m 6s vcexpr-translate-fix
vcexpr-translate-fix
6m 6s
Eliminate redundant computation in VC experession translation Boogie CI #1939: Pull request #1009 opened by shazqadeer
4m 54s vcexpr-translate-fix
vcexpr-translate-fix
4m 54s
[Civl] Remove ISR code LeanAuto CI #437: Pull request #1007 synchronize by shazqadeer
6m 6s remove-isr
remove-isr
6m 6s
[Civl] Remove ISR code Boogie CI #1938: Pull request #1007 synchronize by shazqadeer
5m 16s remove-isr
remove-isr
5m 16s
[Civl] Remove ISR code Boogie CI #1937: Pull request #1007 opened by shazqadeer
5m 11s remove-isr
remove-isr
5m 11s
[Civl] Remove ISR code LeanAuto CI #436: Pull request #1007 opened by shazqadeer
6m 16s remove-isr
remove-isr
6m 16s
Fix issue #1005 LeanAuto CI #435: Pull request #1006 opened by shazqadeer
6m 22s issue-1005
issue-1005
6m 22s
Fix issue #1005 Boogie CI #1936: Pull request #1006 opened by shazqadeer
5m 40s issue-1005
issue-1005
5m 40s
Move modifies inference immediately after resolution LeanAuto CI #434: Pull request #1004 opened by shazqadeer
6m 4s issue-1001
issue-1001
6m 4s
Move modifies inference immediately after resolution Boogie CI #1935: Pull request #1004 opened by shazqadeer
4m 53s issue-1001
issue-1001
4m 53s
Update version number LeanAuto CI #433: Pull request #999 synchronize by keyboardDrummer
6m 12s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
6m 12s
Update version number Boogie CI #1934: Pull request #999 synchronize by keyboardDrummer
5m 7s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
5m 7s
Update version number Boogie CI #1933: Pull request #999 opened by keyboardDrummer
5m 0s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
5m 0s
Update version number LeanAuto CI #432: Pull request #999 opened by keyboardDrummer
6m 14s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
6m 14s
Move to dotnet 8 Boogie CI #1932: Pull request #998 synchronize by keyboardDrummer
6m 6s keyboardDrummer:cceRename
keyboardDrummer:cceRename
6m 6s
Move to dotnet 8 LeanAuto CI #431: Pull request #998 synchronize by keyboardDrummer
6m 30s keyboardDrummer:cceRename
keyboardDrummer:cceRename
6m 30s
Move to dotnet 8 Boogie CI #1931: Pull request #998 opened by keyboardDrummer
53s keyboardDrummer:cceRename
keyboardDrummer:cceRename
53s
Move to dotnet 8 LeanAuto CI #430: Pull request #998 opened by keyboardDrummer
6m 14s keyboardDrummer:cceRename
keyboardDrummer:cceRename
6m 14s
Move to dotnet8 LeanAuto CI #429: Pull request #997 opened by keyboardDrummer
49s keyboardDrummer:dotnet8_3
keyboardDrummer:dotnet8_3
49s
Move to dotnet8 Boogie CI #1930: Pull request #997 opened by keyboardDrummer
1m 14s keyboardDrummer:dotnet8_3
keyboardDrummer:dotnet8_3
1m 14s
Fix split printing Boogie CI #1929: Pull request #996 synchronize by keyboardDrummer
6m 1s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
6m 1s
Fix split printing LeanAuto CI #428: Pull request #996 synchronize by keyboardDrummer
6m 30s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
6m 30s
Fix split printing Boogie CI #1928: Pull request #996 synchronize by keyboardDrummer
5m 15s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
5m 15s
ProTip! You can narrow down the results and go further in time using created:<2025-01-22 or the other filters available.