comment out simple proofs unit test #341

Sign in to view logs

Triggered via push September 24, 2024 22:01

master

Status Success

Total duration 1h 11m 42s

Artifacts –

Windows.yml

on: push

Matrix: build