Skip to content
GitHub pages

Merge pull request #3022 from eregon/type-everything #1344

Sign in to view logs

Merge pull request #3022 from eregon/type-everything

Merge pull request #3022 from eregon/type-everything #1344

Triggered via push September 25, 2024 13:46
@kddnewtonkddnewton
pushed 92ad483
main
Status Success
Total duration 2m 18s
Artifacts –

github-pages.yml

on: push
build
1m 44s
build
deploy
12s
deploy
Fit to window
Zoom out
Zoom in