Skip to content
CI

Merge pull request #7 from robin-nitrokey/clippy #31

Sign in to view logs

Merge pull request #7 from robin-nitrokey/clippy

Merge pull request #7 from robin-nitrokey/clippy #31

Triggered via push November 13, 2023 10:28
@robin-nitrokeyrobin-nitrokey
pushed 511f361
main
Status Success
Total duration 3m 4s
Artifacts –

ci.yml

on: push
build
2m 53s
build
Fit to window
Zoom out
Zoom in