To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch

Merge branch 'hotfix-0.3.3'

2 jobs for 31-formalise-type-support in 36 seconds (queued for 1 second)
Status Job ID Name Coverage
  Style
failed style #124048
allowed to fail

00:00:19

 
  Tests
failed tests #124049

00:00:17

 
Name Stage Failure
failed
tests Tests There has been a runner system failure, please try again
ERROR: Preparation failed: Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
Will be retried in 3s ...
Using Docker executor with image python:3.7-stretch ...
ERROR: Preparation failed: Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
Will be retried in 3s ...
Using Docker executor with image python:3.7-stretch ...
ERROR: Preparation failed: Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
failed
style Style There has been a runner system failure, please try again
ERROR: Preparation failed: Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
Will be retried in 3s ...
Using Docker executor with image python:3.7-stretch ...
ERROR: Preparation failed: Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
Will be retried in 3s ...
Using Docker executor with image python:3.7-stretch ...
ERROR: Preparation failed: Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: endpoint with name runner-da99286d-project-8404-concurrent-0-cache-3c3f060a0374fc8bc39395164f415a70 already exists in network bridge (cache_container.go:111:0s)