Skip to content
Build

fix: dont round off floats while formatting #1691

Sign in to view logs

fix: dont round off floats while formatting

fix: dont round off floats while formatting #1691

Triggered via pull request April 20, 2024 16:29
@dracarys18dracarys18
opened #679
dracarys18:main
Status Cancelled
Total duration 5m 4s
Artifacts –

build.yaml

on: pull_request
Matrix: check-targets
Matrix: test
Type-check benchmarks
8s
Type-check benchmarks
Cross-build
28s
Cross-build
Formatting
15s
Formatting
Clippy
47s
Clippy
Documentation
16s
Documentation
Test (miri)
4m 55s
Test (miri)
Coverage
41s
Coverage
Publish docs  /  Deploy
Publish docs / Deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Formatting
Process completed with exit code 1.
Test (miri)
Canceling since a higher priority waiting request for 'Build-679/merge' exists
Test (miri)
The operation was canceled.