Skip to content
Nix CI

fix: grind +splitImp, arrow propagator, missing normalization rule #30300

Sign in to view logs

fix: grind +splitImp, arrow propagator, missing normalization rule

fix: grind +splitImp, arrow propagator, missing normalization rule #30300

Triggered via pull request April 28, 2025 22:43
@leodemouraleodemoura
synchronize #8158
grind_issues
Status Success
Total duration 15m 54s
Artifacts –

nix-ci.yml

on: pull_request
configure
1s
configure
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Nix Linux
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Nix Linux
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Nix Linux
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Nix Linux
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.