Skip to content

Merge branch '8.3.1.1' into domjudge_ds #3

Merge branch '8.3.1.1' into domjudge_ds

Merge branch '8.3.1.1' into domjudge_ds #3

Triggered via push September 21, 2024 17:13
Status Success
Total duration 1m 37s
Artifacts

runpipe.yml

on: push
Fit to window
Zoom out
Zoom in