push to main

update mathlib #1884

Sign in to view logs

Triggered via push February 1, 2025 13:56

dwrensha

main

Status Success

Total duration 7m 5s

Artifacts 1

push-main.yaml

on: push

Build library and deploy dashboard to Github Pages

Artifacts

Produced during runtime

Name	Size
github-pages Expired	654 KB