Skip to content
Check Specs & Metadata

fixed (and simplified) proof in byzpaxos/Consensus.tla #790

Sign in to view logs

fixed (and simplified) proof in byzpaxos/Consensus.tla

fixed (and simplified) proof in byzpaxos/Consensus.tla #790

Triggered via pull request February 28, 2025 08:07
@muenchnerkindlmuenchnerkindl
synchronize #163
fixByzPaxos
Status Failure
Total duration 21m 51s
Artifacts –

CI.yml

on: pull_request
Matrix: Validate Manifest, Specs, & Models
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Validate Manifest, Specs, & Models (ubuntu-latest, false)
Process completed with exit code 1.
Validate Manifest, Specs, & Models (macos-latest, false)
Process completed with exit code 1.