Skip to content
Proof commit

Add release notes for upcoming 32-bit floating points #261

Sign in to view logs

Add release notes for upcoming 32-bit floating points

Add release notes for upcoming 32-bit floating points #261

Triggered via pull request April 18, 2024 11:01
@jboettcherjboettcher
synchronize #92
jboettcher:jboettcher-describe-floats
Status Cancelled
Total duration 55s
Artifacts –

proof.yaml

on: pull_request
build
46s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Proof commit-jboettcher-describe-floats' exists
build
The operation was canceled.