Skip to content
Specs

Making Spec proofs more robust (for new F* versions) #1645

Sign in to view logs

Making Spec proofs more robust (for new F* versions)

Making Spec proofs more robust (for new F* versions) #1645

Triggered via pull request September 19, 2024 11:24
@karthikbhargavankarthikbhargavan
opened #591
dev-arithmetic-proofs
Status Cancelled
Total duration 20s
Artifacts –

specs.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (macos-latest)
Canceling since a higher priority waiting request for 'Specs-refs/pull/591/merge' exists
build (windows-latest)
Canceling since a higher priority waiting request for 'Specs-refs/pull/591/merge' exists
build (ubuntu-latest)
Canceling since a higher priority waiting request for 'Specs-refs/pull/591/merge' exists