Skip to content

Merge branch '2025' of github.com:minprog/programmeren-1 into 2025 #1206

Merge branch '2025' of github.com:minprog/programmeren-1 into 2025

Merge branch '2025' of github.com:minprog/programmeren-1 into 2025 #1206

Triggered via push October 15, 2025 10:46
Status Success
Total duration 15s
Artifacts

main.yml

on: push
yaml_check
11s
yaml_check
Fit to window
Zoom out
Zoom in