Add liveness to safety construction for supporting temporal proofs #703

Sign in to view logs

Triggered via pull request July 23, 2023 02:52

odedp

synchronize #134

temporal-first-take

Status Failure

Total duration 5m 54s

Artifacts –

build.yml

on: pull_request

Matrix: Build and test

Annotations

2 errors

Build and test (stable, ubuntu-latest)

Process completed with exit code 101.

Build and test (nightly, ubuntu-latest)

Process completed with exit code 101.