Skip to content
Rust

Merge branch 'main' into main #188

Sign in to view logs

Merge branch 'main' into main

Merge branch 'main' into main #188

Triggered via push December 16, 2025 10:08
@LucaCappelletti94LucaCappelletti94
pushed 8874844
main
Status Success
Total duration 3m 50s
Artifacts –

rust.yml

on: push
codestyle
16s
codestyle
lint
58s
lint
benchmark-lint
30s
benchmark-lint
compile
53s
compile
docs
33s
docs
compile-no-std
22s
compile-no-std
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
test (beta)
Cache not found for keys: v0-rust-test-Linux-x64-5bae0370-86cf170c, v0-rust-test-Linux-x64-5bae0370
test (stable)
Cache not found for keys: v0-rust-test-Linux-x64-6b531a64-86cf170c, v0-rust-test-Linux-x64-6b531a64
test (nightly)
Cache not found for keys: v0-rust-test-Linux-x64-ed7810cc-86cf170c, v0-rust-test-Linux-x64-ed7810cc