.github/workflows/push_pr.yml

Proved B is finite #373

Sign in to view logs

Triggered via pull request November 9, 2024 17:03

4hma4d

synchronize #211

4hma4d:FiniteClosure

Status Success

Total duration 4m 11s

Artifacts –

push_pr.yml

on: pull_request