Add and use mutating arithmetics for arb poly rings (#1917) #686

Sign in to view logs

Triggered via push October 25, 2024 08:43

fingolfin

master

Status Success

Total duration 43m 13s

Artifacts –

hecke.yml

on: push

Matrix: test-oscar