Skip to content

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

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

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

Triggered via push July 10, 2025 13:11
Status Success
Total duration 15s
Artifacts

main.yml

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