Skip to content

Merge pull request #12 from Wenzel/ci/github_actions #2

Merge pull request #12 from Wenzel/ci/github_actions

Merge pull request #12 from Wenzel/ci/github_actions #2

Triggered via push November 8, 2023 19:56
Status Success
Total duration 1m 20s
Artifacts

ci.yml

on: push
Matrix: check
Fit to window
Zoom out
Zoom in