continuous integration

fix 'simp says' statements #64656

Sign in to view logs

Triggered via push January 8, 2024 05:32

kim-em

lean-pr-testing-3124

Status Failure

Total duration 26m 58s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

1 error

Process completed with exit code 1.