CI

Update to latest rocq #116

Sign in to view logs

Re-run triggered July 23, 2026 11:27

#18

srghma:master

Status Failure

Total duration 24s

Artifacts –

build.yml

on: pull_request

Annotations

1 error and 2 warnings

Docker pull failed with exit code 1

Docker pull failed with exit code 1, back off 2.63 seconds before retry.

Docker pull failed with exit code 1, back off 8.338 seconds before retry.