Skip to content
Build and autograde

Use recordCoverage in Jenkinsfiles. #824

Sign in to view logs

Use recordCoverage in Jenkinsfiles.

Use recordCoverage in Jenkinsfiles. #824

Triggered via push October 17, 2023 07:52
@uhafneruhafner
pushed 1703f83
main
Status Success
Total duration 3m 11s
Artifacts –

autograding.yml

on: push
Build
2m 37s
Build
Fit to window
Zoom out
Zoom in