Skip to content

Merge branch 'main' of github.com:JakobMiksch/random-geodata #2

Merge branch 'main' of github.com:JakobMiksch/random-geodata

Merge branch 'main' of github.com:JakobMiksch/random-geodata #2

Triggered via push January 21, 2024 19:13
Status Success
Total duration 24s
Artifacts

lint.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in