set of limit points is closed #1470
Triggered via pull request
March 3, 2026 11:09
affeldt-aist
affeldt-aist
opened
#1870
Status
Success
Total duration
28m 52s
Artifacts
–
nix-action-9.0.yml
on: pull_request_target
rocq-core
51s
mathcomp-analysis-single
14m 18s
ssprove
6m 14s
mathcomp-infotheo
6m 52s
Annotations
2 warnings
|
ssprove
Back off 22.084 seconds before retry.
|
|
ssprove
Failed to download action 'https://api.github.com/repos/cachix/cachix-action/tarball/3ba601ff5bbb07c7220846facfa2cd81eeee15a1'. Error: Response status code does not indicate success: 502 (Bad Gateway). 2801:25CDBF:6C6185:6E5097:69A6C639
|