Skip to content
Test all examples with CN

Deactivate CI for Coq to make the merge easier #27

Sign in to view logs

Deactivate CI for Coq to make the merge easier

Deactivate CI for Coq to make the merge easier #27

Triggered via push July 13, 2024 00:47
@septractseptract
pushed b4398cd
main
Status Success
Total duration 4m 34s
Artifacts –

run-cn-examples.yml

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