Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
961 workflow runs
961 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 3m 27s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:31 3m 27s
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
Cce rename 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
Cce rename 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
Cce rename 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
Cce rename 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
Fix split printing LeanAuto CI #427: Pull request #996 synchronize by keyboardDrummer
January 22, 2025 14:58 6m 0s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 22, 2025 14:58 6m 0s
Fix split printing LeanAuto CI #426: Pull request #996 opened by keyboardDrummer
January 13, 2025 13:09 6m 2s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 13, 2025 13:09 6m 2s
Fix split printing Boogie CI #1927: Pull request #996 opened by keyboardDrummer
January 13, 2025 13:09 5m 23s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 13, 2025 13:09 5m 23s
Fixed type resolution crash LeanAuto CI #424: Pull request #992 synchronize by shazqadeer
December 2, 2024 03:02 5m 41s blah-blah
blah-blah
December 2, 2024 03:02 5m 41s
Fixed type resolution crash Boogie CI #1925: Pull request #992 synchronize by shazqadeer
December 2, 2024 03:02 6m 1s blah-blah
blah-blah
December 2, 2024 03:02 6m 1s
Fixed type resolution crash LeanAuto CI #423: Pull request #992 synchronize by shazqadeer
December 2, 2024 02:53 5m 58s blah-blah
blah-blah
December 2, 2024 02:53 5m 58s
Fixed type resolution crash Boogie CI #1924: Pull request #992 synchronize by shazqadeer
December 2, 2024 02:53 5m 13s blah-blah
blah-blah
December 2, 2024 02:53 5m 13s
Fixed type resolution crash LeanAuto CI #422: Pull request #992 opened by shazqadeer
December 2, 2024 02:30 6m 12s blah-blah
blah-blah
December 2, 2024 02:30 6m 12s
Fixed type resolution crash Boogie CI #1923: Pull request #992 opened by shazqadeer
December 2, 2024 02:30 5m 48s blah-blah
blah-blah
December 2, 2024 02:30 5m 48s
[Civl] rename procedures in cache coherence and add more comments Boogie CI #1922: Pull request #991 opened by shazqadeer
November 28, 2024 00:07 5m 47s var-rename
var-rename
November 28, 2024 00:07 5m 47s
[Civl] rename procedures in cache coherence and add more comments LeanAuto CI #421: Pull request #991 opened by shazqadeer
November 28, 2024 00:07 5m 45s var-rename
var-rename
November 28, 2024 00:07 5m 45s
Export hidden functions (#989) LeanAuto CI #420: Commit 517cdac pushed by keyboardDrummer
November 26, 2024 15:16 6m 0s v3.4.3
v3.4.3
November 26, 2024 15:16 6m 0s