Skip to content

Merge branch 'master' of github.com:stfbk/stfbk.github.io #12

Merge branch 'master' of github.com:stfbk/stfbk.github.io

Merge branch 'master' of github.com:stfbk/stfbk.github.io #12

Triggered via push October 9, 2024 14:10
Status Success
Total duration 1m 56s
Artifacts
check-changes
15s
check-changes
update-destinations
20s
update-destinations
update-members
0s
update-members
update-people
29s
update-people
update-people-pictures
0s
update-people-pictures
update-publications
21s
update-publications
update-theses
0s
update-theses
Fit to window
Zoom out
Zoom in