Skip to content

Rename Err to IOErr to avoid confusion with Result #397

Rename Err to IOErr to avoid confusion with Result

Rename Err to IOErr to avoid confusion with Result #397

Triggered via pull request December 20, 2024 04:38
Status Success
Total duration 3m 40s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-test
Process completed with exit code 22.