Skip to content
HeckeCI

Provide a default isapprox method for ring elements #794

Sign in to view logs

Provide a default isapprox method for ring elements

Provide a default isapprox method for ring elements #794

Triggered via pull request October 9, 2024 20:17
@fingolfinfingolfin
synchronize #1843
mh/isapprox
Status Success
Total duration 43m 7s
Artifacts –

hecke.yml

on: pull_request
generatematrix
51s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in