Skip to content
Publish docs via GitHub Pages

Rename grass_gis to grass #126

Sign in to view logs

Rename grass_gis to grass

Rename grass_gis to grass #126

Triggered via push March 3, 2024 15:00
@suricactussuricactus
pushed 0912f6c
master
Status Success
Total duration 50s
Artifacts –

main.yml

on: push
Deploy docs
43s
Deploy docs
Fit to window
Zoom out
Zoom in