Build and deploy library website

Negation on real numbers (#1246) #633

Sign in to view logs

Triggered via push February 4, 2025 22:44

EgbertRijke

master

Status Success

Total duration 6m 56s

Artifacts –

pages.yaml

on: push

Matrix: website

Annotations

3 warnings

website (2.7.0)

New version for mdbook-katex available: 0.9.2

website (2.7.0)

New version for mdbook-catppuccin available: 3.0.0

website (2.7.0)

New version for mdbook-pagetoc available: 0.2.0