feat: add toInt_smod and auxilliary theorems
#35261
tobiasgrosserci.yml
on: pull_request
configure
6s
Matrix: build / build
Matrix: build-secondary / build
release-nightly
0s
Annotations
4 errors and 6 warnings
|
build / Linux release
Process completed with exit code 2.
|
|
Build matrix complete
Some jobs failed
|
|
build-secondary / macOS aarch64
Process completed with exit code 2.
|
|
build-secondary / Linux Lake
Process completed with exit code 2.
|
|
build-secondary / macOS aarch64
zstd 1.5.7 is already installed and up-to-date.
To reinstall 1.5.7, run:
brew reinstall zstd
|
|
build-secondary / macOS aarch64
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
build-secondary / macOS aarch64
libuv 1.51.0 is already installed and up-to-date.
To reinstall 1.51.0, run:
brew reinstall libuv
|
|
build-secondary / Linux Lake
Cache save failed.
|
|
build-secondary / Linux Lake
Failed to download action 'https://api.github.com/repos/DeterminateSystems/nix-installer-action/tarball/4a562136e63e880cb5a5293b6bd1bd47e739028a'. Error: Response status code does not indicate success: 500 (Internal Server Error). 42D1:1E4EEB:2507:33E3:6834269F
|
|
build-secondary / Linux Lake
Back off 29.21 seconds before retry.
|