Skip to content

Rename Err to IOErr to avoid confusion with Result #232

Rename Err to IOErr to avoid confusion with Result

Rename Err to IOErr to avoid confusion with Result #232

Re-run triggered December 20, 2024 08:45
Status Success
Total duration 24m 5s
Artifacts

ci_nix.yml

on: pull_request
Matrix: build-and-test-nix
Fit to window
Zoom out
Zoom in