build

minimal TLA+ spec of the xycloans monitor #300

Sign in to view logs

Triggered via pull request November 27, 2024 08:50

konnov

opened #149

igor/xycloans-tla

Status Failure

Total duration 1m 36s

Artifacts –

main.yml

on: pull_request

Matrix: contracts-unit-tests

Matrix: tests

Annotations

1 error

tests (ubuntu-latest)

Process completed with exit code 1.