Skip to content

Merge branch 'master' into dependabot/bundler/webrick-1.8.2 #11

Merge branch 'master' into dependabot/bundler/webrick-1.8.2

Merge branch 'master' into dependabot/bundler/webrick-1.8.2 #11

Triggered via push September 27, 2024 09:05
Status Success
Total duration 27s
Artifacts
check-changes
15s
check-changes
update-destinations
0s
update-destinations
update-members
0s
update-members
update-people
0s
update-people
update-people-pictures
0s
update-people-pictures
update-publications
0s
update-publications
update-theses
0s
update-theses
Fit to window
Zoom out
Zoom in