Skip to content
Add comment

[Merged by Bors] - fix: make polyrith succeed when target is identically zero #1113

Sign in to view logs

[Merged by Bors] - fix: make polyrith succeed when target is identically zero

[Merged by Bors] - fix: make polyrith succeed when target is identically zero #1113

Triggered via pull request May 24, 2024 00:22
@robertylewisrobertylewis
labeled #13150
robertylewis/polyrith-0target
Status Skipped
Total duration 1s
Artifacts –

move_decl.yaml

on: pull_request
add-comment
0s
add-comment
Fit to window
Zoom out
Zoom in