Skip to content

Merge pull request #1746 from cryspen/rengine-monadic-phase #1102

Merge pull request #1746 from cryspen/rengine-monadic-phase

Merge pull request #1746 from cryspen/rengine-monadic-phase #1102

Triggered via push October 23, 2025 14:52
Status Success
Total duration 21m 49s
Artifacts
rustc-coverage-tests
21m 40s
rustc-coverage-tests
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
rustc-coverage-tests
Unexpected input(s) 'push', valid inputs are ['name', 'extraPullNames', 'authToken', 'signingKey', 'skipPush', 'pathsToPush', 'pushFilter', 'cachixArgs', 'skipAddingSubstituter', 'useDaemon', 'cachixBin', 'installCommand']
rustc-coverage-tests
Unexpected input(s) 'push', valid inputs are ['name', 'extraPullNames', 'authToken', 'signingKey', 'skipPush', 'pathsToPush', 'pushFilter', 'cachixArgs', 'skipAddingSubstituter', 'useDaemon', 'cachixBin', 'installCommand']