refactor: theorem misc #344

Sign in to view logs

Triggered via pull request March 22, 2024 12:07

AlexaraWu

synchronize #60

v2-thm

Status Success

Total duration 5m 26s

Artifacts 3

build.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
samples Expired	4.55 MB
sjtutex-ctan Expired	874 KB
sjtutex.tds Expired	965 KB