Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend trust options LeanAuto CI #591: Pull request #1090 synchronize by NamrathaG
6m 14s trustInvariants
trustInvariants
6m 14s
Extend trust options LeanAuto CI #590: Pull request #1090 opened by NamrathaG
6m 3s trustInvariants
trustInvariants
6m 3s
[Civl] Adjust refinement to handle calls to yield procedures LeanAuto CI #589: Pull request #1084 synchronize by shazqadeer
5m 58s lambda-ref
lambda-ref
5m 58s
[Civl] Adjust refinement to handle calls to yield procedures LeanAuto CI #588: Pull request #1084 synchronize by shazqadeer
5m 59s lambda-ref
lambda-ref
5m 59s
[Civl] Adjust refinement to handle calls to yield procedures LeanAuto CI #587: Pull request #1084 opened by shazqadeer
6m 24s lambda-ref
lambda-ref
6m 24s
Release version 3.5.6 LeanAuto CI #586: Commit 8697ad0 pushed by shazqadeer
6m 7s v3.5.6
v3.5.6
6m 7s
Release version 3.5.6 LeanAuto CI #585: Pull request #1083 opened by shazqadeer
6m 16s release-v3.5.6
release-v3.5.6
6m 16s
TryInc series LeanAuto CI #584: Pull request #1081 synchronize by NamrathaG
6m 1s ref-vcg-examples
ref-vcg-examples
6m 1s
TryInc series LeanAuto CI #583: Pull request #1081 synchronize by NamrathaG
5m 45s ref-vcg-examples
ref-vcg-examples
5m 45s
TryInc series LeanAuto CI #582: Pull request #1081 opened by NamrathaG
5m 51s ref-vcg-examples
ref-vcg-examples
5m 51s
[Civl] Refactor linear type checking LeanAuto CI #581: Pull request #1080 synchronize by shazqadeer
6m 23s lin-refactor
lin-refactor
6m 23s
[Civl] Refactor linear type checking LeanAuto CI #580: Pull request #1080 synchronize by shazqadeer
5m 51s lin-refactor
lin-refactor
5m 51s
[Civl] Refactor linear type checking LeanAuto CI #579: Pull request #1080 synchronize by shazqadeer
6m 20s lin-refactor
lin-refactor
6m 20s
[Civl] Refactor linear type checking LeanAuto CI #578: Pull request #1080 synchronize by shazqadeer
6m 31s lin-refactor
lin-refactor
6m 31s
[Civl] Refactor linear type checking LeanAuto CI #577: Pull request #1080 synchronize by shazqadeer
5m 54s lin-refactor
lin-refactor
5m 54s
[Civl] Refactor linear type checking LeanAuto CI #576: Pull request #1080 synchronize by shazqadeer
5m 56s lin-refactor
lin-refactor
5m 56s
[Civl] Refactor linear type checking LeanAuto CI #575: Pull request #1080 synchronize by shazqadeer
6m 31s lin-refactor
lin-refactor
6m 31s
[Civl] Refactor linear type checking LeanAuto CI #574: Pull request #1080 synchronize by shazqadeer
6m 46s lin-refactor
lin-refactor
6m 46s
[Civl] Refactor linear type checking LeanAuto CI #573: Pull request #1080 opened by shazqadeer
5m 55s lin-refactor
lin-refactor
5m 55s
Check that datatypes are well-founded LeanAuto CI #572: Pull request #1078 synchronize by shazqadeer
6m 5s well-founded
well-founded
6m 5s
Check that datatypes are well-founded LeanAuto CI #571: Pull request #1078 opened by shazqadeer
6m 24s well-founded
well-founded
6m 24s
[Civl] Fix issue 1075 LeanAuto CI #570: Pull request #1076 opened by shazqadeer
6m 8s issue-1075
issue-1075
6m 8s
[Civl] Improve preserves LeanAuto CI #569: Pull request #1074 synchronize by shazqadeer
6m 1s improve-preserves
improve-preserves
6m 1s
[Civl] Improve preserves LeanAuto CI #568: Pull request #1074 synchronize by shazqadeer
6m 4s improve-preserves
improve-preserves
6m 4s
[Civl] Improve preserves LeanAuto CI #567: Pull request #1074 opened by shazqadeer
5m 49s improve-preserves
improve-preserves
5m 49s