Skip to content

Merge pull request #102 from geo2a/geo2a/io-classes-1.8 #60

Merge pull request #102 from geo2a/geo2a/io-classes-1.8

Merge pull request #102 from geo2a/geo2a/io-classes-1.8 #60

Triggered via push June 3, 2025 12:01
Status Success
Total duration 2m 48s
Artifacts 2
Build documentation
2m 26s
Build documentation
Deploy documentation to GitHub Pages
13s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
394 KB
sha256:ee6919f421664e81a53e124456d7c5a08bcdc9867b931405b26b820b23ef766e
haddocks Expired
392 KB
sha256:c1dd3609af7c33efa7962a2a75851eeb2142c266a7eb78e9cdaa4794f3923432