Skip to content

Merge pull request #96 from trz42/eessi.io-2023.06 #72

Merge pull request #96 from trz42/eessi.io-2023.06

Merge pull request #96 from trz42/eessi.io-2023.06 #72

Triggered via push September 9, 2023 18:01
Status Success
Total duration 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
generate_sets
11s
generate_sets
Fit to window
Zoom out
Zoom in