ci

Add typechecking #94

Sign in to view logs

Triggered via pull request April 22, 2025 22:23

synchronize #15

type-checking

Status Success

Total duration 21s

Artifacts 1

ci.yaml

on: pull_request

Artifacts

Produced during runtime

Name	Size	Digest
proves Expired	69.6 KB	`sha256:c4b6ec07dc8bf59a49e26c8254663e7be01307fd6de40d60cda69f072dced433`