Skip to content

PreVote enabled in TLA model checking #4730

PreVote enabled in TLA model checking

PreVote enabled in TLA model checking #4730

Triggered via pull request October 27, 2025 18:08
Status Success
Total duration 43m 32s
Artifacts 3

ci.yml

on: pull_request
Format and License Checks
3m 28s
Format and License Checks
Docs/clang-tidy/Unit/Partitions
20m 17s
Docs/clang-tidy/Unit/Partitions
Virtual CI
29m 44s
Virtual CI
Confidential Container CI
35m 44s
Confidential Container CI
Confidential Container CI on Genoa
16m 2s
Confidential Container CI on Genoa
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
logs-azurelinux-virtual
23.8 MB
sha256:1b981938ef19d92724dfc9d374f7faa11a7a0505b188c303a019475e5ec5667d
logs-caci-snp
30 MB
sha256:052ac9e2865c74bc488faf4dc5e2347702e41f2fe1ee22575c3b75fad2f11982
logs-caci-snp-genoa
939 KB
sha256:9e539eb8335582270738b969ca53968c4e6735cb64013c4eba1f1c31cfce2360