Skip to content

Merge branch 'egm-10-25-update' of https://github.com/CSSUoB/cssuob.g… #174

Merge branch 'egm-10-25-update' of https://github.com/CSSUoB/cssuob.g…

Merge branch 'egm-10-25-update' of https://github.com/CSSUoB/cssuob.g… #174

Triggered via push October 22, 2025 19:09
Status Success
Total duration 43s
Artifacts
Automatic PR Updater
34s
Automatic PR Updater
Fit to window
Zoom out
Zoom in