Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow run results
329 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added sample for snaphot Boogie CI #1551: Pull request #878 synchronize by NamrathaG
April 27, 2024 23:07 6m 2s snapshot
snapshot
April 27, 2024 23:07 6m 2s
Added sample for snaphot LeanAuto CI #49: Pull request #878 synchronize by NamrathaG
April 26, 2024 16:54 5m 7s snapshot
snapshot
April 26, 2024 16:54 5m 7s
Added sample for snaphot Boogie CI #1550: Pull request #878 synchronize by NamrathaG
April 26, 2024 16:54 6m 12s snapshot
snapshot
April 26, 2024 16:54 6m 12s
Added sample for snaphot LeanAuto CI #48: Pull request #878 opened by NamrathaG
April 26, 2024 13:39 5m 18s snapshot
snapshot
April 26, 2024 13:39 5m 18s
Added sample for snaphot Boogie CI #1549: Pull request #878 opened by NamrathaG
April 26, 2024 13:39 5m 22s snapshot
snapshot
April 26, 2024 13:39 5m 22s
Move classes into separate files LeanAuto CI #47: Pull request #875 synchronize by keyboardDrummer
April 26, 2024 12:28 5m 28s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 26, 2024 12:28 5m 28s
Move classes into separate files Boogie CI #1548: Pull request #875 synchronize by keyboardDrummer
April 26, 2024 12:28 7m 4s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 26, 2024 12:28 7m 4s
[Civl] Fixed bug in typechecking of yielding loops Boogie CI #1547: Pull request #877 opened by shazqadeer
April 25, 2024 19:54 6h 0m 23s fixed-tc-loop
fixed-tc-loop
April 25, 2024 19:54 6h 0m 23s
[Civl] Fixed bug in typechecking of yielding loops LeanAuto CI #46: Pull request #877 opened by shazqadeer
April 25, 2024 19:54 5m 13s fixed-tc-loop
fixed-tc-loop
April 25, 2024 19:54 5m 13s
Move classes into separate files LeanAuto CI #45: Pull request #875 synchronize by keyboardDrummer
April 25, 2024 16:06 5m 22s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 25, 2024 16:06 5m 22s
Move classes into separate files Boogie CI #1546: Pull request #875 synchronize by keyboardDrummer
April 25, 2024 16:06 6m 8s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 25, 2024 16:06 6m 8s
Add Vec API Boogie CI #1545: Pull request #876 opened by shazqadeer
April 25, 2024 15:30 6m 4s add-vec-api
add-vec-api
April 25, 2024 15:30 6m 4s
Add Vec API LeanAuto CI #44: Pull request #876 opened by shazqadeer
April 25, 2024 15:30 5m 4s add-vec-api
add-vec-api
April 25, 2024 15:30 5m 4s
Move classes into separate files LeanAuto CI #43: Pull request #875 synchronize by keyboardDrummer
April 25, 2024 15:27 5m 25s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 25, 2024 15:27 5m 25s
Move classes into separate files Boogie CI #1544: Pull request #875 synchronize by keyboardDrummer
April 25, 2024 15:27 6m 8s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 25, 2024 15:27 6m 8s
Move classes into separate files LeanAuto CI #42: Pull request #875 opened by keyboardDrummer
April 25, 2024 15:22 38s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 25, 2024 15:22 38s
Move classes into separate files Boogie CI #1543: Pull request #875 opened by keyboardDrummer
April 25, 2024 15:22 1m 3s keyboardDrummer:moveClassesIntoSeparateFiles
keyboardDrummer:moveClassesIntoSeparateFiles
April 25, 2024 15:22 1m 3s
Release version 3.1.5 LeanAuto CI #41: Commit a1b219f pushed by shazqadeer
April 23, 2024 17:19 5m 21s v3.1.5
v3.1.5
April 23, 2024 17:19 5m 21s
Release version 3.1.5 Boogie CI #1542: Commit a1b219f pushed by shazqadeer
April 23, 2024 17:19 7m 42s v3.1.5
v3.1.5
April 23, 2024 17:19 7m 42s
Release version 3.1.5 Boogie CI #1541: Pull request #874 opened by shazqadeer
April 23, 2024 17:11 6m 53s release-v3.1.5
release-v3.1.5
April 23, 2024 17:11 6m 53s
Release version 3.1.5 LeanAuto CI #40: Pull request #874 opened by shazqadeer
April 23, 2024 17:11 5m 38s release-v3.1.5
release-v3.1.5
April 23, 2024 17:11 5m 38s
[Civl] Removed ElimDecl LeanAuto CI #39: Pull request #873 opened by shazqadeer
April 22, 2024 16:30 5m 19s remove-elim-decl
remove-elim-decl
April 22, 2024 16:30 5m 19s
[Civl] Removed ElimDecl Boogie CI #1540: Pull request #873 opened by shazqadeer
April 22, 2024 16:30 7m 53s remove-elim-decl
remove-elim-decl
April 22, 2024 16:30 7m 53s
[Civl] Add support for preconditions to actions Boogie CI #1539: Pull request #872 synchronize by shazqadeer
April 22, 2024 03:55 6m 32s action-pre
action-pre
April 22, 2024 03:55 6m 32s
[Civl] Add support for preconditions to actions LeanAuto CI #38: Pull request #872 synchronize by shazqadeer
April 22, 2024 03:55 5m 3s action-pre
action-pre
April 22, 2024 03:55 5m 3s