Skip to content

Generate local IDs from map.json files #1699

Generate local IDs from map.json files

Generate local IDs from map.json files #1699

Triggered via pull request October 16, 2024 02:18
Status Success
Total duration 3m 21s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in