Skip to content
Ubuntu build

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals #3788

Sign in to view logs

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals #3788

Triggered via pull request October 14, 2024 08:49
@TanebTaneb
synchronize #2496
rational-pos-op
Status Success
Total duration 36m 15s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
36m 4s
test-stdlib
Fit to window
Zoom out
Zoom in