Skip to content

Actions: pulseengine/sigil

Actions

Formal Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
228 workflow runs
228 workflow runs

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
release: v0.11.0 — offline verification, real and lightweight (#243) Formal Verification #228: Commit 5fdd573 pushed by avrabe
1h 55m 2s main
main
1h 55m 2s
release: v0.11.0 — offline verification, real and lightweight Formal Verification #227: Pull request #243 opened by avrabe
1h 13m 47s release/v0.11.0
release/v0.11.0
1h 13m 47s
test(witness): close verify-core's coverable MC/DC gap; baseline 5->3… Formal Verification #226: Commit d2dcf0c pushed by avrabe
1h 9m 5s main
main
1h 9m 5s
test(witness): close verify-core's coverable MC/DC gap; baseline 5->3 (#128, REQ-25) Formal Verification #225: Pull request #242 opened by avrabe
21m 57s feat/witness-mcdc-gaps
feat/witness-mcdc-gaps
21m 57s
chore(deps): bump rustls from 0.23.34 to 0.23.43 Formal Verification #224: Pull request #239 synchronize by dependabot Bot
24m 38s dependabot/cargo/rustls-0.23.43
dependabot/cargo/rustls-0.23.43
24m 38s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 Formal Verification #223: Pull request #200 synchronize by dependabot Bot
15m 3s dependabot/cargo/sha2-0.11.0
dependabot/cargo/sha2-0.11.0
15m 3s
chore(deps): bump const-oid from 0.9.6 to 0.10.2 (#238) Formal Verification #222: Commit 11ca8ca pushed by temper-pulseengine Bot
39m 27s main
main
39m 27s
chore(deps): bump const-oid from 0.9.6 to 0.10.2 Formal Verification #221: Pull request #238 synchronize by dependabot Bot
19m 17s dependabot/cargo/const-oid-0.10.2
dependabot/cargo/const-oid-0.10.2
19m 17s
feat(dsse): extract DSSE into a no_std wsc-dsse crate (#218, REQ-24) … Formal Verification #220: Commit 2b5d3a6 pushed by avrabe
16m 11s main
main
16m 11s
chore(deps): bump rustls from 0.23.34 to 0.23.43 Formal Verification #219: Pull request #239 opened by dependabot Bot
7m 46s dependabot/cargo/rustls-0.23.43
dependabot/cargo/rustls-0.23.43
7m 46s
chore(deps): bump pem from 3.0.6 to 4.0.0 (#237) Formal Verification #218: Commit 9222275 pushed by temper-pulseengine Bot
8m 59s main
main
8m 59s
chore(deps): bump pem from 3.0.6 to 4.0.0 Formal Verification #217: Pull request #237 opened by dependabot Bot
7m 45s dependabot/cargo/pem-4.0.0
dependabot/cargo/pem-4.0.0
7m 45s
chore(deps): bump anyhow from 1.0.103 to 1.0.104 (#235) Formal Verification #216: Commit f4bf6b9 pushed by temper-pulseengine Bot
7m 5s main
main
7m 5s
chore(deps): bump anyhow from 1.0.103 to 1.0.104 Formal Verification #215: Pull request #235 opened by dependabot Bot
5m 54s dependabot/cargo/anyhow-1.0.104
dependabot/cargo/anyhow-1.0.104
5m 54s
feat(dsse): extract DSSE into a no_std wsc-dsse crate (#218, REQ-24) Formal Verification #214: Pull request #232 synchronize by avrabe
9m 16s feat/wsc-dsse-crate
feat/wsc-dsse-crate
9m 16s
feat(dsse): extract DSSE into a no_std wsc-dsse crate (#218, REQ-24) Formal Verification #213: Pull request #232 synchronize by avrabe
8m 18s feat/wsc-dsse-crate
feat/wsc-dsse-crate
8m 18s
feat(dsse): extract DSSE into a no_std wsc-dsse crate (#218, REQ-24) Formal Verification #212: Pull request #232 opened by avrabe
2m 30s feat/wsc-dsse-crate
feat/wsc-dsse-crate
2m 30s
feat(airgapped): real offline keyless verification (#219, REQ-23) (#229) Formal Verification #211: Commit 255a597 pushed by avrabe
22m 25s main
main
22m 25s
feat(airgapped): real offline keyless verification (#219, REQ-23) Formal Verification #210: Pull request #229 opened by avrabe
19m 15s feat/offline-keyless-verify
feat/offline-keyless-verify
19m 15s
docs(witness): correct the scoped-gate host-invariance overclaim (#12… Formal Verification #209: Commit 4bab59e pushed by avrabe
2m 29s main
main
2m 29s
docs(witness): correct scoped-gate host-invariance overclaim (#128) Formal Verification #208: Pull request #225 opened by avrabe
2m 21s fix/witness-baseline-host-note
fix/witness-baseline-host-note
2m 21s
release: v0.10.0 — ToolInfo toolchain identity + honest SLSA claims (… Formal Verification #207: Commit 2e3c97a pushed by avrabe
2m 25s main
main
2m 25s
release: v0.10.0 — ToolInfo toolchain identity + honest SLSA claims Formal Verification #206: Pull request #222 synchronize by avrabe
2m 29s release/v0.10.0
release/v0.10.0
2m 29s
release: v0.10.0 — ToolInfo toolchain identity + honest SLSA claims Formal Verification #205: Pull request #222 opened by avrabe
2m 30s release/v0.10.0
release/v0.10.0
2m 30s
chore(deps): bump getrandom from 0.3.4 to 0.4.2 Formal Verification #204: Pull request #199 synchronize by dependabot Bot
12m 49s dependabot/cargo/getrandom-0.4.2
dependabot/cargo/getrandom-0.4.2
12m 49s