Skip to content

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

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

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

Triggered via push October 9, 2025 12:59
Status Success
Total duration 19s
Artifacts

main.yml

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