For `x y : ℚ`, `x ≤ y` if and only if `real-ℚ x ≤ real-ℚ y` (#1303) · UniMath/agda-unimath@5d2a1c2

Triggered via push February 9, 2025 00:20

master

Status Success

Total duration 6m 19s

Artifacts 1

pages.yaml

on: push

Matrix: website

3 warnings

New version for mdbook-katex available: 0.9.2

New version for mdbook-catppuccin available: 3.0.0

New version for mdbook-pagetoc available: 0.2.0

Produced during runtime

Name	Size
github-pages Expired	117 MB