Skip to content
Test

Rfl の説明の修正 #18

Sign in to view logs

Rfl の説明の修正

Rfl の説明の修正 #18

Triggered via pull request October 5, 2023 12:12
@SeasawherSeasawher
opened #8
rfl-mathlib
Status Success
Total duration 1m 29s
Artifacts –

ci.yml

on: pull_request
build
1m 17s
build
Fit to window
Zoom out
Zoom in