Run long tests

Improve class group proof #4105

Sign in to view logs

Re-run triggered October 25, 2023 14:47

thofma

#1258

th/proofpara

Status Success

Total duration 1h 14m 15s

Artifacts –

CILong.yml

on: pull_request

Matrix: test

Matrix: test_threaded