.github/workflows/push_pr.yml

Proved B is finite #370

Sign in to view logs

Triggered via pull request November 8, 2024 14:21

4hma4d

opened #211

4hma4d:FiniteClosure

Status Success

Total duration 3m 49s

Artifacts –

push_pr.yml

on: pull_request