Link Check and Deploy

帰納型の族の話をよくあるエラーではなく帰納型の例として紹介する #1071

Sign in to view logs

Triggered via pull request October 9, 2024 18:58

Seasawher

opened #977

inductive-family

Status Success

Total duration 1m 9s

Artifacts –

deploy.yml

on: pull_request