Skip to content

Rename "District of Columbia" to "Washington DC" #160

Rename "District of Columbia" to "Washington DC"

Rename "District of Columbia" to "Washington DC" #160

Triggered via pull request September 23, 2024 17:16
Status Success
Total duration 55s
Artifacts

run_precommit.yml

on: pull_request
run flake8
43s
run flake8
Fit to window
Zoom out
Zoom in