Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-lean-auto.yml
316 workflow runs
316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parse model values of the form 5e1 (no decimal) LeanAuto CI #16: Pull request #861 synchronize by atomb
April 5, 2024 00:10 5m 8s atomb:parse-exp-without-decimal
atomb:parse-exp-without-decimal
April 5, 2024 00:10 5m 8s
[Civl] Improvements to pool-based quantifier instantiation LeanAuto CI #15: Pull request #862 synchronize by shazqadeer
April 4, 2024 17:45 5m 2s treiber-alloc-linear
treiber-alloc-linear
April 4, 2024 17:45 5m 2s
[Civl] Improvements to pool-based quantifier instantiation LeanAuto CI #14: Pull request #862 opened by shazqadeer
April 4, 2024 17:32 5m 25s treiber-alloc-linear
treiber-alloc-linear
April 4, 2024 17:32 5m 25s
Parse model values of the form 5e1 (no decimal) LeanAuto CI #13: Pull request #861 opened by atomb
April 4, 2024 01:44 5m 18s atomb:parse-exp-without-decimal
atomb:parse-exp-without-decimal
April 4, 2024 01:44 5m 18s
Report resolution errors to downstream system LeanAuto CI #12: Pull request #860 synchronize by keyboardDrummer
March 26, 2024 10:38 5m 19s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 26, 2024 10:38 5m 19s
Report resolution errors to downstream system LeanAuto CI #11: Pull request #860 synchronize by keyboardDrummer
March 26, 2024 10:36 5m 17s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 26, 2024 10:36 5m 17s
Report resolution errors to downstream system LeanAuto CI #10: Pull request #860 opened by keyboardDrummer
March 21, 2024 12:29 5m 30s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 21, 2024 12:29 5m 30s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #9: Pull request #850 synchronize by atomb
March 19, 2024 21:55 5m 8s atomb:basic-lean-auto
atomb:basic-lean-auto
March 19, 2024 21:55 5m 8s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #8: Pull request #850 synchronize by atomb
March 19, 2024 21:00 5m 49s atomb:basic-lean-auto
atomb:basic-lean-auto
March 19, 2024 21:00 5m 49s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #7: Pull request #850 synchronize by atomb
March 7, 2024 23:54 5m 9s atomb:basic-lean-auto
atomb:basic-lean-auto
March 7, 2024 23:54 5m 9s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #6: Pull request #850 synchronize by atomb
March 6, 2024 19:54 5m 2s atomb:basic-lean-auto
atomb:basic-lean-auto
March 6, 2024 19:54 5m 2s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #5: Pull request #850 synchronize by atomb
February 14, 2024 22:05 5m 38s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 22:05 5m 38s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #4: Pull request #850 synchronize by atomb
February 14, 2024 19:30 6m 0s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:30 6m 0s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #3: Pull request #850 synchronize by atomb
February 14, 2024 19:25 1m 2s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:25 1m 2s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #2: Pull request #850 synchronize by atomb
February 14, 2024 19:24 11s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:24 11s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #1: Pull request #850 opened by atomb
February 14, 2024 19:04 Startup failure atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:04 Startup failure
ProTip! You can narrow down the results and go further in time using created:<2024-02-14 or the other filters available.