Skip to content
This repository has been archived by the owner on Mar 7, 2024. It is now read-only.
Generate Examples - Coq

Update Readme.md #188

Sign in to view logs

Update Readme.md

Update Readme.md #188

Triggered via pull request June 21, 2023 13:07
@spittersspitters
opened #378
spitters-patch-1
Status Failure
Total duration 8m 25s
Artifacts –

generate_examples_coq.yml

on: pull_request
build
8m 13s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 101.