.github/workflows/ci.yml

feat: progress? to say which theorem has been used #1185

Sign in to view logs

Triggered via pull request July 3, 2024 15:51

synchronize #277

RaitoBezarius:progress-says

Status Success

Total duration 20m 45s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

check-charon-pin