Skip to content

Merge pull request #5 from geoblocks/add_userinfo #35

Merge pull request #5 from geoblocks/add_userinfo

Merge pull request #5 from geoblocks/add_userinfo #35

Triggered via push December 12, 2024 15:20
Status Success
Total duration 22s
Artifacts

ci.yml

on: push
lint-and-build
12s
lint-and-build
Fit to window
Zoom out
Zoom in