Add the same restatement for strong fairness · tchajed/coq-tla@06cc280

Triggered via push December 5, 2023 14:29

tchajed

main

Status Failure

Total duration 26s

Artifacts –

build.yml

on: push

Matrix: build

5 errors

unable to access 'https://gitlab.mpi-sws.org/iris/stdpp.git/': The requested URL returned error: 502

clone of 'https://gitlab.mpi-sws.org/iris/stdpp.git' into submodule path '/home/runner/work/coq-tla/coq-tla/external/stdpp' failed

unable to access 'https://gitlab.mpi-sws.org/iris/stdpp.git/': The requested URL returned error: 502

clone of 'https://gitlab.mpi-sws.org/iris/stdpp.git' into submodule path '/home/runner/work/coq-tla/coq-tla/external/stdpp' failed

The process '/usr/bin/git' failed with exit code 1