Skip to content

Implement pre-compilation of exercises and graders #203

Implement pre-compilation of exercises and graders

Implement pre-compilation of exercises and graders #203

Triggered via pull request October 26, 2023 18:54
@AltGrAltGr
synchronize #481
AltGr:a7977b52
Status Failure
Total duration 17s
Artifacts

check-update-index.yml

on: pull_request
check-index
4s
check-index
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check-index
docs/index.md outdated, please run scripts/update-index.sh and commit.
check-index
Process completed with exit code 1.