.github/workflows/push_pr.yml

Complete Algebra.exists_dvd_nonzero_if_isIntegral #316

Sign in to view logs

Triggered via pull request October 10, 2024 19:51

morrison-daniel

synchronize #157

morrison-daniel:main

Status Success

Total duration 3m 42s

Artifacts –

push_pr.yml

on: pull_request