Skip to content
Rust lint

Backend support for update and uninterpreted functions #20

Sign in to view logs

Backend support for update and uninterpreted functions

Backend support for update and uninterpreted functions #20

Triggered via pull request March 14, 2024 16:17
@ondrej33ondrej33
synchronize #28
dev-functions-backend
Status Success
Total duration 4m 42s
Artifacts –

rust-lint.yml

on: pull_request
rustfmt
12s
rustfmt
check
1m 41s
check
test
2m 26s
test
clippy
1m 40s
clippy
Fit to window
Zoom out
Zoom in