.github/workflows/push_pr.yml

Complete Algebra.exists_dvd_nonzero_if_isIntegral #320

Sign in to view logs

Triggered via pull request October 10, 2024 22:55

morrison-daniel

synchronize #157

morrison-daniel:main

Status Success

Total duration 3m 49s

Artifacts –

push_pr.yml

on: pull_request