Skip to content
Add milestone to pull requests

Fix number typing used in maps #4294

Sign in to view logs

Fix number typing used in maps

Fix number typing used in maps #4294

Triggered via pull request September 26, 2024 07:42
@jpbempeljpbempel
closed #7676
jpbempel/fix-widening
Status Success
Total duration 11s
Artifacts –

add-milestone-to-pull-requests.yaml

on: pull_request
Add milestone to merged pull requests
2s
Add milestone to merged pull requests
Fit to window
Zoom out
Zoom in