Coq Tests

Fix `Set Default Proof Mode` being ignored #82

Sign in to view logs

Triggered via pull request January 4, 2025 23:19

whonore

opened #377

set-option-with-add

Status Success

Total duration 1m 48s

Artifacts –

coq-tests.yml

on: pull_request

Matrix: Coq integration tests