Skip to content
Coq

semiprime example #5

Sign in to view logs

semiprime example

semiprime example #5

Triggered via pull request July 11, 2024 16:52
@andres-erbsenandres-erbsen
opened #5
andres-erbsen:semiprime_ct
Status Failure
Total duration 3m 12s
Artifacts –

coq.yml

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

Annotations

2 errors
build (8.16.0)
Process completed with exit code 1.
build (master)
Process completed with exit code 1.