Skip to content
Deploy to GitHub Pages

Merge branch 'perf/geo_index' into 'main' #20

Sign in to view logs

Merge branch 'perf/geo_index' into 'main'

Merge branch 'perf/geo_index' into 'main' #20

Triggered via push October 8, 2024 06:04
@frogerfroger
pushed 861e9ce
main
Status Success
Total duration 1m 21s
Artifacts –

website.yml

on: push
Build Docusaurus
52s
Build Docusaurus
Deploy to GitHub Pages
10s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in