Skip to content
Long Verification

Check TCB version to ensure it is up to date enough #1357

Sign in to view logs

Check TCB version to ensure it is up to date enough

Check TCB version to ensure it is up to date enough #1357

Triggered via pull request March 7, 2025 13:40
@cjen1-msftcjen1-msft
synchronize #6837
cjen1-msft:tcb_checking
Status Skipped
Total duration 3s
Artifacts –

long-verification.yml

on: pull_request
Model Checking With Atomic Reconfig - Consensus
0s
Model Checking With Atomic Reconfig - Consensus
Model Checking With Reconfig - Consensus
0s
Model Checking With Reconfig - Consensus
Simulation - Consensus
0s
Simulation - Consensus
Fit to window
Zoom out
Zoom in