Skip to content

CI: split workflow and use bot to commit formatting and cargo lock changes #13

CI: split workflow and use bot to commit formatting and cargo lock changes

CI: split workflow and use bot to commit formatting and cargo lock changes #13

Triggered via pull request November 22, 2023 18:41
Status Success
Total duration 1m 11s
Artifacts

CI-pr.yml

on: pull_request
Check formatting
15s
Check formatting
Run tests on stable toolchain
1m 4s
Run tests on stable toolchain
Spell check
6s
Spell check
Fit to window
Zoom out
Zoom in