Long Verification

[DRAFT] [WIP] Make ci-checks.sh work on Azure Linux #1051

Sign in to view logs

Triggered via pull request February 7, 2025 12:52

maxtropets

synchronize #6815

maxtropets:f/cichecks-fix

Status Skipped

Total duration 3s

Artifacts –

long-verification.yml

on: pull_request

Model Checking With Atomic Reconfig - Consensus

Model Checking With Reconfig - Consensus

Simulation - Consensus