Skip to content
Rust

Remove stray loop.rs #4777

Sign in to view logs

Remove stray loop.rs

Remove stray loop.rs #4777

Triggered via pull request February 28, 2025 15:36
@LysxiaLysxia
synchronize #1388
stray-loop
Status Success
Total duration 5m 2s
Artifacts –

rust.yml

on: pull_request
fmt
24s
fmt
contracts-build
26s
contracts-build
contracts-build-stable
5s
contracts-build-stable
build
2m 31s
build
why3
4m 50s
why3
install
4m 6s
install
Fit to window
Zoom out
Zoom in