Skip to content

Merge remote-tracking branch 'upstream/master' into merge #11

Merge remote-tracking branch 'upstream/master' into merge

Merge remote-tracking branch 'upstream/master' into merge #11

Triggered via push June 18, 2024 21:00
Status Success
Total duration 1m 11s
Artifacts

ci.yaml

on: push
Nix and Rust checks
1m 0s
Nix and Rust checks
Fit to window
Zoom out
Zoom in