Build and deploy library website

Archimedean property of `ℤ` (#1258) #623

Sign in to view logs

Triggered via push February 2, 2025 16:31

EgbertRijke

master

Status Success

Total duration 6m 53s

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