Skip to content
Ubuntu build

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

Sign in to view logs

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

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

Triggered via pull request October 14, 2024 08:40
@TanebTaneb
opened #2496
rational-pos-op
Status Failure
Total duration 8m 14s
Artifacts –

ci-ubuntu.yml

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

Annotations

1 error
test-stdlib
Process completed with exit code 42.