Skip to content

GitLab

Bump Iris (Z_scope).

2 jobs for master in 1 minute and 26 seconds (queued for 3 seconds)
426f1417
No related merge requests found.
Name Stage Failure
failed
build-coq.8.10.1 Build 

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[coq-iris-tutorial-popl18-builddep.~dev] no changes from file:///builds/iris/tutorial-popl18/build-dep

The following dependencies couldn't be met:
  - coq-iris-tutorial-popl18-builddep -> coq-iris (= dev.2020-05-29.0.d5f678ee & = dev)
      no matching version

ERROR: Job failed: exit code 1
failed
build-coq.8.11.0 Build 

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[coq-iris-tutorial-popl18-builddep.~dev] no changes from file:///builds/iris/tutorial-popl18/build-dep

The following dependencies couldn't be met:
  - coq-iris-tutorial-popl18-builddep -> coq-iris (= dev.2020-05-29.0.d5f678ee & = dev)
      no matching version

ERROR: Job failed: exit code 1