Skip to content

Actions: PlasmaLaboratories/veil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #16 from PlasmaLaboratories/codex/vfhs-relational-… CI #32: Commit 0c8eb55 pushed by hwbehrens
17m 16s veil-2.0-preview
veil-2.0-preview
17m 16s
Fix symbolic traces for relational Bool updates CI #31: Pull request #16 synchronize by hwbehrens
14m 34s codex/vfhs-relational-trace-fix
codex/vfhs-relational-trace-fix
14m 34s
Fix symbolic traces for relational Bool updates CI #30: Pull request #16 opened by hwbehrens
16m 21s codex/vfhs-relational-trace-fix
codex/vfhs-relational-trace-fix
16m 21s
Merge pull request #15 from PlasmaLaboratories/codex/veil-liveness-po… CI #29: Commit c548c21 pushed by hwbehrens
16m 24s veil-2.0-preview
veil-2.0-preview
16m 24s
Promote Lentil liveness support to Veil 2.0 preview CI #28: Pull request #15 opened by hwbehrens
13m 44s codex/veil-liveness-port-base
codex/veil-liveness-port-base
13m 44s
Make temporal proofs use generated behavior CI #27: Pull request #14 synchronize by hwbehrens
12m 31s codex/liveness-invariant-contract
codex/liveness-invariant-contract
12m 31s
Make temporal proofs use generated behavior CI #26: Pull request #14 synchronize by hwbehrens
15m 35s codex/liveness-invariant-contract
codex/liveness-invariant-contract
15m 35s
Make temporal proofs use generated behavior CI #25: Pull request #14 opened by hwbehrens
14m 27s codex/liveness-invariant-contract
codex/liveness-invariant-contract
14m 27s
Merge pull request #13 from PlasmaLaboratories/agent/enforce-model-ch… CI #24: Commit 0e44f74 pushed by hwbehrens
28m 8s veil-2.0-preview
veil-2.0-preview
28m 8s
Merge pull request #12 from PlasmaLaboratories/agent/report-skipped-v… CI #23: Commit 43c92b4 pushed by hwbehrens
23m 16s veil-2.0-preview
veil-2.0-preview
23m 16s
Merge pull request #11 from PlasmaLaboratories/agent/fix-preview-read… CI #22: Commit 50093d6 pushed by hwbehrens
20m 16s veil-2.0-preview
veil-2.0-preview
20m 16s
Merge pull request #10 from PlasmaLaboratories/agent/diagnose-module-… CI #21: Commit 63cb691 pushed by hwbehrens
21m 31s veil-2.0-preview
veil-2.0-preview
21m 31s
Merge pull request #9 from PlasmaLaboratories/agent/fix-manual-sat-tr… CI #20: Commit accf1b7 pushed by hwbehrens
18m 59s veil-2.0-preview
veil-2.0-preview
18m 59s
Merge pull request #8 from PlasmaLaboratories/agent/bound-trace-proof… CI #19: Commit 569225a pushed by hwbehrens
23m 11s veil-2.0-preview
veil-2.0-preview
23m 11s
Merge pull request #6 from PlasmaLaboratories/agent/resolve-verifier-… CI #18: Commit 16e6499 pushed by hwbehrens
11m 58s veil-2.0-preview
veil-2.0-preview
11m 58s
Merge pull request #5 from PlasmaLaboratories/agent/reject-component-… CI #17: Commit 260ae29 pushed by hwbehrens
13m 19s veil-2.0-preview
veil-2.0-preview
13m 19s
Merge pull request #4 from PlasmaLaboratories/agent/refresh-state-aft… CI #16: Commit f1faed8 pushed by hwbehrens
11m 54s veil-2.0-preview
veil-2.0-preview
11m 54s
Merge pull request #3 from PlasmaLaboratories/agent/reject-unsafe-mod… CI #15: Commit c331d77 pushed by hwbehrens
10m 54s veil-2.0-preview
veil-2.0-preview
10m 54s
Merge pull request #7 from PlasmaLaboratories/agent/run-ci-on-preview… CI #14: Commit 78af154 pushed by hwbehrens
12m 28s veil-2.0-preview
veil-2.0-preview
12m 28s
Block spec finalization after failed Veil declarations CI #13: Pull request #2 synchronize by hwbehrens
12m 28s agent/block-failed-declaration-finalization
agent/block-failed-declaration-finalization
12m 28s
Enforce model-checking depth bounds at the frontier CI #12: Pull request #13 synchronize by hwbehrens
13m 36s agent/enforce-model-check-depth-bound
agent/enforce-model-check-depth-bound
13m 36s
Fix manual sat-trace theorem polarity CI #11: Pull request #9 synchronize by hwbehrens
13m 26s agent/fix-manual-sat-trace-polarity
agent/fix-manual-sat-trace-polarity
13m 26s
Block spec finalization after failed Veil declarations CI #10: Pull request #2 synchronize by hwbehrens
14m 19s agent/block-failed-declaration-finalization
agent/block-failed-declaration-finalization
14m 19s
Point README setup at the Veil 2.0 preview branch CI #9: Pull request #11 synchronize by hwbehrens
10m 52s agent/fix-preview-readme-checkout
agent/fix-preview-readme-checkout
10m 52s
Run CI on Veil 2.0 preview branches CI #8: Pull request #7 synchronize by hwbehrens
11m 23s agent/run-ci-on-preview-branches
agent/run-ci-on-preview-branches
11m 23s