Skip to content

Merge branch 'master' of github.com:uni-bremen-agst/SEE #217

Merge branch 'master' of github.com:uni-bremen-agst/SEE

Merge branch 'master' of github.com:uni-bremen-agst/SEE #217

Triggered via push January 28, 2025 14:12
Status Success
Total duration 15s
Artifacts

axivion.yml

on: push
Run Axivion CI
7s
Run Axivion CI
Fit to window
Zoom out
Zoom in