Skip to content
Typechecker

Extend function features to allow new repo types #235

Sign in to view logs

Extend function features to allow new repo types

Extend function features to allow new repo types #235

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

type_check.yaml

on: pull_request
types
1m 3s
types
Fit to window
Zoom out
Zoom in