Skip to content
build

[Draft] use algebraic number for reals #546

Sign in to view logs

[Draft] use algebraic number for reals

[Draft] use algebraic number for reals #546

Triggered via pull request June 23, 2023 13:00
@GburyGbury
synchronize #153
bobot:algebraic_number
Status Success
Total duration 18m 59s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in