Skip to content

adding a setup script and fixing bad docker image #17

adding a setup script and fixing bad docker image

adding a setup script and fixing bad docker image #17

Triggered via push May 9, 2024 16:17
Status Success
Total duration 30s
Artifacts

ci.yml

on: push
check-basics
0s
check-basics
coding-style
19s
coding-style
run-tests
0s
run-tests
check-mirror-commits
0s
check-mirror-commits
mirror-commits
0s
mirror-commits
Fit to window
Zoom out
Zoom in