mathlib4-tactics のリンク変更 #1026

Sign in to view logs

Triggered via pull request October 17, 2024 06:25

Seasawher

opened #998

Seasawher/issue997

Status Success

Total duration 1m 31s

Artifacts –

ci.yml

on: pull_request