Skip to content
CI

Merge pull request #5679 from effective-webwork/improve-correction-icon #373

Sign in to view logs

Merge pull request #5679 from effective-webwork/improve-correction-icon

Merge pull request #5679 from effective-webwork/improve-correction-icon #373

Triggered via push October 17, 2023 08:25
@markusweigeltmarkusweigelt
pushed ea50685
master
Status Success
Total duration 28m 2s
Artifacts –

main.yml

on: push
build
27m 50s
build
Fit to window
Zoom out
Zoom in