Skip to content
build test

aesop は mathlib に含まれるので削除する #39

Sign in to view logs

aesop は mathlib に含まれるので削除する

aesop は mathlib に含まれるので削除する #39

Triggered via push October 25, 2024 11:01
@SeasawherSeasawher
pushed 3f52dc4
main
Status Success
Total duration 2m 4s
Artifacts –

build.yml

on: push
ubuntu_build
1m 51s
ubuntu_build
Fit to window
Zoom out
Zoom in