.github/workflows/push_pr.yml

Complete Algebra.exists_dvd_nonzero_if_isIntegral #321

Sign in to view logs

Triggered via pull request October 10, 2024 22:57

morrison-daniel

synchronize #157

morrison-daniel:main

Status Success

Total duration 3m 59s

Artifacts –

push_pr.yml

on: pull_request