Skip to content
Detect changes to header SHAs

feat(Algebra/MonoidAlgebra/NoZeroDivisors): NoZeroDivisors instance on AddMonoidAlgebras #19946

Sign in to view logs

feat(Algebra/MonoidAlgebra/NoZeroDivisors): NoZeroDivisors instance on AddMonoidAlgebras

feat(Algebra/MonoidAlgebra/NoZeroDivisors): NoZeroDivisors instance on AddMonoidAlgebras #19946

Triggered via pull request August 17, 2023 19:18
@adomaniadomani
synchronize #6627
adomani_amanzd
Status Success
Total duration 26s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
18s
Add annotations
Fit to window
Zoom out
Zoom in