Skip to content
Proof commit

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

Sign in to view logs

Add release notes for upcoming 32-bit floating points

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

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

proof.yaml

on: pull_request
build
7s
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.