Skip to content
CI

🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen #23

Sign in to view logs

🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen

🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen #23

Triggered via push October 20, 2023 15:41
@m4lvinm4lvin
pushed aeb84c7
main
Status Success
Total duration 1m 50s
Artifacts –

build.yml

on: push
Build
1m 39s
Build
Stats
8s
Stats
Fit to window
Zoom out
Zoom in