Skip to content
Run tests

Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} #1802

Sign in to view logs

Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T}

Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} #1802

Triggered via pull request October 18, 2023 23:54
@fingolfinfingolfin
synchronize #1558
fingolfin:mh/round-ambiguity
Status Success
Total duration 14m 45s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: pull_request
Documentation
4m 10s
Documentation
Matrix: test
Fit to window
Zoom out
Zoom in