Skip to content

Merge remote-tracking branch 'github/master' #17

Merge remote-tracking branch 'github/master'

Merge remote-tracking branch 'github/master' #17

Triggered via push June 10, 2024 16:22
Status Success
Total duration 1m 34s
Artifacts

ci.yaml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in