.github/workflows/push_pr.yml

Complete Algebra.exists_dvd_nonzero_if_isIntegral #318

Sign in to view logs

Triggered via pull request October 10, 2024 20:02

morrison-daniel

synchronize #157

morrison-daniel:main

Status Success

Total duration 3m 54s

Artifacts –

push_pr.yml

on: pull_request