Skip to content
Check Specs & Metadata

Add version of Voting.tla that can be analyzed by Apalache. #275

Sign in to view logs

Add version of Voting.tla that can be analyzed by Apalache.

Add version of Voting.tla that can be analyzed by Apalache. #275

Triggered via pull request January 21, 2024 15:43
@nano-onano-o
synchronize #112
nano-o:master
Status Failure
Total duration 1m 38s
Artifacts –

CI.yml

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

Annotations

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