Skip to content

Rename ErrIsWanted -> WantErr (#10) #37

Rename ErrIsWanted -> WantErr (#10)

Rename ErrIsWanted -> WantErr (#10) #37

Triggered via push October 28, 2023 19:44
Status Success
Total duration 13s
Artifacts
Draft Release
4s
Draft Release
Fit to window
Zoom out
Zoom in