Skip to content
Coq

Wp is exec #1142

Sign in to view logs

Wp is exec

Wp is exec #1142

Triggered via pull request August 1, 2023 03:17
@andres-erbsenandres-erbsen
synchronize #362
andres-erbsen:wp-is-exec
Status Failure
Total duration 17m 4s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq.yml

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

Annotations

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