Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
940 workflow runs
940 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
March 9, 2025 16:44 5m 58s vcexpr-translate-fix
vcexpr-translate-fix
March 9, 2025 16:44 5m 58s
Eliminate redundant computation in VC experession translation Boogie CI #1940: Pull request #1009 synchronize by shazqadeer
March 9, 2025 16:44 5m 20s vcexpr-translate-fix
vcexpr-translate-fix
March 9, 2025 16:44 5m 20s
Eliminate redundant computation in VC experession translation LeanAuto CI #438: Pull request #1009 opened by shazqadeer
March 9, 2025 07:56 6m 6s vcexpr-translate-fix
vcexpr-translate-fix
March 9, 2025 07:56 6m 6s
Eliminate redundant computation in VC experession translation Boogie CI #1939: Pull request #1009 opened by shazqadeer
March 9, 2025 07:56 4m 54s vcexpr-translate-fix
vcexpr-translate-fix
March 9, 2025 07:56 4m 54s
[Civl] Remove ISR code LeanAuto CI #437: Pull request #1007 synchronize by shazqadeer
March 4, 2025 15:52 6m 6s remove-isr
remove-isr
March 4, 2025 15:52 6m 6s
[Civl] Remove ISR code Boogie CI #1938: Pull request #1007 synchronize by shazqadeer
March 4, 2025 15:52 5m 16s remove-isr
remove-isr
March 4, 2025 15:52 5m 16s
[Civl] Remove ISR code Boogie CI #1937: Pull request #1007 opened by shazqadeer
March 4, 2025 15:37 5m 11s remove-isr
remove-isr
March 4, 2025 15:37 5m 11s
[Civl] Remove ISR code LeanAuto CI #436: Pull request #1007 opened by shazqadeer
March 4, 2025 15:37 6m 16s remove-isr
remove-isr
March 4, 2025 15:37 6m 16s
Fix issue #1005 LeanAuto CI #435: Pull request #1006 opened by shazqadeer
March 4, 2025 06:16 6m 22s issue-1005
issue-1005
March 4, 2025 06:16 6m 22s
Fix issue #1005 Boogie CI #1936: Pull request #1006 opened by shazqadeer
March 4, 2025 06:16 5m 40s issue-1005
issue-1005
March 4, 2025 06:16 5m 40s
Move modifies inference immediately after resolution LeanAuto CI #434: Pull request #1004 opened by shazqadeer
February 28, 2025 18:25 6m 4s issue-1001
issue-1001
February 28, 2025 18:25 6m 4s
Move modifies inference immediately after resolution Boogie CI #1935: Pull request #1004 opened by shazqadeer
February 28, 2025 18:25 4m 53s issue-1001
issue-1001
February 28, 2025 18:25 4m 53s
Update version number LeanAuto CI #433: Pull request #999 synchronize by keyboardDrummer
February 11, 2025 17:31 6m 12s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:31 6m 12s
Update version number Boogie CI #1934: Pull request #999 synchronize by keyboardDrummer
February 11, 2025 17:31 5m 7s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:31 5m 7s
Update version number Boogie CI #1933: Pull request #999 opened by keyboardDrummer
February 11, 2025 17:04 5m 0s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:04 5m 0s
Update version number LeanAuto CI #432: Pull request #999 opened by keyboardDrummer
February 11, 2025 17:04 6m 14s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:04 6m 14s
Move to dotnet 8 Boogie CI #1932: Pull request #998 synchronize by keyboardDrummer
February 11, 2025 16:11 6m 6s keyboardDrummer:cceRename
keyboardDrummer:cceRename
February 11, 2025 16:11 6m 6s
Move to dotnet 8 LeanAuto CI #431: Pull request #998 synchronize by keyboardDrummer
February 11, 2025 16:11 6m 30s keyboardDrummer:cceRename
keyboardDrummer:cceRename
February 11, 2025 16:11 6m 30s
Move to dotnet 8 Boogie CI #1931: Pull request #998 opened by keyboardDrummer
February 11, 2025 16:07 53s keyboardDrummer:cceRename
keyboardDrummer:cceRename
February 11, 2025 16:07 53s
Move to dotnet 8 LeanAuto CI #430: Pull request #998 opened by keyboardDrummer
February 11, 2025 16:07 6m 14s keyboardDrummer:cceRename
keyboardDrummer:cceRename
February 11, 2025 16:07 6m 14s
Move to dotnet8 LeanAuto CI #429: Pull request #997 opened by keyboardDrummer
February 11, 2025 15:37 49s keyboardDrummer:dotnet8_3
keyboardDrummer:dotnet8_3
February 11, 2025 15:37 49s
Move to dotnet8 Boogie CI #1930: Pull request #997 opened by keyboardDrummer
February 11, 2025 15:37 1m 14s keyboardDrummer:dotnet8_3
keyboardDrummer:dotnet8_3
February 11, 2025 15:37 1m 14s
Fix split printing Boogie CI #1929: Pull request #996 synchronize by keyboardDrummer
January 23, 2025 15:07 6m 1s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 23, 2025 15:07 6m 1s
Fix split printing LeanAuto CI #428: Pull request #996 synchronize by keyboardDrummer
January 23, 2025 15:07 6m 30s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 23, 2025 15:07 6m 30s
Fix split printing Boogie CI #1928: Pull request #996 synchronize by keyboardDrummer
January 22, 2025 14:58 5m 15s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 22, 2025 14:58 5m 15s