Skip to content

Merge pull request #26 from kimariak/rename_idsm #22

Merge pull request #26 from kimariak/rename_idsm

Merge pull request #26 from kimariak/rename_idsm #22

Triggered via push July 2, 2026 11:39
Status Success
Total duration 1m 20s
Artifacts 1

grass-manual.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
17.3 KB
sha256:7e78695002fd5fb1d088fed25631b5bb95028e6e51c8c638e3b52b43b18ecfa3