batteries test build

doc: mathlib4_docs style setup (#230) #4926

Sign in to view logs

Triggered via push November 11, 2024 09:09

hargoniX

main

Status Success

Total duration 3m 55s

Billable time 4m

Artifacts –

build.yml

on: push

batteries test build