No-postfix-projections (#1240) · UniMath/agda-unimath@dc4a21a

Triggered via push January 26, 2025 03:00

master

Status Success

Total duration 6m 59s

Artifacts 1

pages.yaml

on: push

Matrix: website

5 warnings

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "github-pages". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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