Skip to content
batteries test build

doc: mathlib4_docs style setup #4924

Sign in to view logs

doc: mathlib4_docs style setup

doc: mathlib4_docs style setup #4924

Triggered via pull request November 11, 2024 08:55
@hargoniXhargoniX
opened #230
doc-building-setup
Status Success
Total duration 3m 52s
Billable time 4m
Artifacts –

build.yml

on: pull_request
batteries test build
3m 45s
batteries test build
Fit to window
Zoom out
Zoom in