Skip to content
Update GitHub Pages

Merge pull request #1 from emmo-repo/generate-class-index #4

Sign in to view logs

Merge pull request #1 from emmo-repo/generate-class-index

Merge pull request #1 from emmo-repo/generate-class-index #4

Triggered via push November 8, 2024 08:23
@pierluigidelnostropierluigidelnostro
pushed 5b737e0
main
Status Success
Total duration 1m 20s
Artifacts –

cd_update_pages.yml

on: push
deploy
1m 11s
deploy
Fit to window
Zoom out
Zoom in