Skip to content

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

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

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

Triggered via push October 15, 2025 16:19
Status Success
Total duration 18s
Artifacts

main.yml

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