Skip to content

Merge branch 'source' of ssh://ssh.github.com:443/vehicle-lang/tutori… #287

Merge branch 'source' of ssh://ssh.github.com:443/vehicle-lang/tutori…

Merge branch 'source' of ssh://ssh.github.com:443/vehicle-lang/tutori… #287

Triggered via push September 7, 2023 23:06
Status Failure
Total duration 3m 57s
Artifacts 2

ci.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.03 MB
html Expired
2 MB