CI

Fix extracting label numbers when using ntheorem (#1054) #916

Sign in to view logs

Triggered via push March 24, 2024 09:00

pfoerster

master

Status Success

Total duration 1m 23s

Artifacts –

ci.yml

on: push

Matrix: build