Skip to content

Merge pull request #41 from hasura/djh/remove-region-routing-from-val… #30

Merge pull request #41 from hasura/djh/remove-region-routing-from-val…

Merge pull request #41 from hasura/djh/remove-region-routing-from-val… #30

Triggered via push September 18, 2023 10:30
Status Success
Total duration 25s
Artifacts

lint.yaml

on: push
check formatting with cargo fmt
15s
check formatting with cargo fmt
lint with cargo clippy
15s
lint with cargo clippy
Fit to window
Zoom out
Zoom in