Tests

Prepare for a more extended proof assistant mode #4032

Sign in to view logs

Triggered via pull request December 4, 2023 13:22

zickgraf

opened #1517

zickgraf:master

Status Success

Total duration 13m 19s

Artifacts –

Tests.yml

on: pull_request

Matrix: test