Skip to content
Typechecker

Extend function features to allow new repo types #236

Sign in to view logs

Extend function features to allow new repo types

Extend function features to allow new repo types #236

Triggered via pull request July 26, 2024 02:47
@RexWzhRexWzh
synchronize #190
Lean-zh:simplify-funcs
Status Success
Total duration 57s
Artifacts –

type_check.yaml

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