Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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.