Skip to content
Rust lint

Backend support for update and uninterpreted functions #17

Sign in to view logs

Backend support for update and uninterpreted functions

Backend support for update and uninterpreted functions #17

Triggered via pull request March 13, 2024 08:10
@ondrej33ondrej33
synchronize #28
dev-functions-backend
Status Success
Total duration 4m 47s
Artifacts –

rust-lint.yml

on: pull_request
rustfmt
11s
rustfmt
check
1m 41s
check
test
2m 28s
test
clippy
2m 14s
clippy
Fit to window
Zoom out
Zoom in