Skip to content

Merge pull request #200 from wagenet/improve-or #135

Merge pull request #200 from wagenet/improve-or

Merge pull request #200 from wagenet/improve-or #135

Triggered via push September 11, 2023 19:05
Status Success
Total duration 2m 40s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Matrix: try-scenarios
Fit to window
Zoom out
Zoom in