Skip to content

chore: fix names (#3812) #2483

chore: fix names (#3812)

chore: fix names (#3812) #2483

Triggered via push May 6, 2023 08:29
Status Success
Total duration 16m 40s
Artifacts

bors.yml

on: push
Lint style
8s
Lint style
Check all files imported
6s
Check all files imported
Build
16m 21s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
5s
Post-CI job
Fit to window
Zoom out
Zoom in