Skip to content
Typechecker

Extend function features to allow new repo types #232

Sign in to view logs

Extend function features to allow new repo types

Extend function features to allow new repo types #232

Triggered via pull request July 25, 2024 07:06
@RexWzhRexWzh
synchronize #190
Lean-zh:simplify-funcs
Status Success
Total duration 1m 1s
Artifacts –

type_check.yaml

on: pull_request
types
51s
types
Fit to window
Zoom out
Zoom in