Skip to content
Push to INGInious

Merge branch 'main' of github.com:UCL-INGI/inginious-missing-semester #17

Sign in to view logs

Merge branch 'main' of github.com:UCL-INGI/inginious-missing-semester

Merge branch 'main' of github.com:UCL-INGI/inginious-missing-semester #17

Triggered via push October 17, 2023 10:11
@romaincarlier4romaincarlier4
pushed 88c49c4
main
Status Failure
Total duration 40s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

inginious-push.yml

on: push
Reset INGInious changes
0s
Reset INGInious changes
Push to INGInious instance
26s
Push to INGInious instance
Fit to window
Zoom out
Zoom in

Annotations

1 error
Push to INGInious instance
Process completed with exit code 1.