Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
394 workflow runs
394 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 Boogie CI #2092: Pull request #1090 synchronize by NamrathaG
4m 37s trustInvariants
trustInvariants
4m 37s
Extend trust options LeanAuto CI #590: Pull request #1090 opened by NamrathaG
6m 3s trustInvariants
trustInvariants
6m 3s
Extend trust options Boogie CI #2091: Pull request #1090 opened by NamrathaG
4m 28s trustInvariants
trustInvariants
4m 28s
[Civl] Adjust refinement to handle calls to yield procedures Boogie CI #2090: Pull request #1084 synchronize by shazqadeer
4m 42s lambda-ref
lambda-ref
4m 42s
[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 Boogie CI #2089: Pull request #1084 synchronize by shazqadeer
4m 54s lambda-ref
lambda-ref
4m 54s
[Civl] Adjust refinement to handle calls to yield procedures Boogie CI #2088: Pull request #1084 opened by shazqadeer
4m 46s lambda-ref
lambda-ref
4m 46s
[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 Boogie CI #2087: Commit 8697ad0 pushed by shazqadeer
4m 26s v3.5.6
v3.5.6
4m 26s
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 Boogie CI #2086: Pull request #1083 opened by shazqadeer
4m 27s release-v3.5.6
release-v3.5.6
4m 27s
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 Boogie CI #2085: Pull request #1081 synchronize by NamrathaG
5m 1s ref-vcg-examples
ref-vcg-examples
5m 1s
TryInc series LeanAuto CI #583: Pull request #1081 synchronize by NamrathaG
5m 45s ref-vcg-examples
ref-vcg-examples
5m 45s
TryInc series Boogie CI #2084: Pull request #1081 synchronize by NamrathaG
3m 10s ref-vcg-examples
ref-vcg-examples
3m 10s
TryInc series Boogie CI #2083: Pull request #1081 opened by NamrathaG
4m 28s ref-vcg-examples
ref-vcg-examples
4m 28s
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 Boogie CI #2082: Pull request #1080 synchronize by shazqadeer
4m 17s lin-refactor
lin-refactor
4m 17s
[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 Boogie CI #2081: Pull request #1080 synchronize by shazqadeer
4m 52s lin-refactor
lin-refactor
4m 52s
[Civl] Refactor linear type checking LeanAuto CI #579: Pull request #1080 synchronize by shazqadeer
6m 20s lin-refactor
lin-refactor
6m 20s