Skip to content
Lint

Fix comparison for divisors of curves (and FormalSum commutativity) #12672

Sign in to view logs

Fix comparison for divisors of curves (and FormalSum commutativity)

Fix comparison for divisors of curves (and FormalSum commutativity) #12672

Re-run triggered May 16, 2024 23:18
@tscrimtscrim
#37972
vincentmacri:divisor_curve_eq
Status Success
Total duration 4m 42s
Artifacts –

lint.yml

on: pull_request
Lint
4m 32s
Lint
Fit to window
Zoom out
Zoom in