ci

chore: test file for linting lean4 #7292

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request July 2, 2024 03:46

kim-em

opened #871

lint_lean

Status Success

Total duration 37s

Artifacts –

build.yml

on: pull_request