Skip to content
Back to pull request #353

Consolidate =* and =*> #1098

Sign in to view logs

Consolidate =* and =*>

Consolidate =* and =*> #1098

Triggered via pull request June 20, 2023 21:10
@andres-erbsenandres-erbsen
synchronize #353
andres-erbsen:consolidate-sepeq
Status Success
Total duration 1h 36m 57s
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