Skip to content
ci

feat: Add String.isPrefixOf theorems #8664

Sign in to view logs

feat: Add String.isPrefixOf theorems

feat: Add String.isPrefixOf theorems #8664

Triggered via pull request October 1, 2024 08:18
@fgdoraisfgdorais
synchronize #809
tjf801:isPrefixOf-theorems-2
Status Failure
Total duration 34s
Artifacts –

build.yml

on: pull_request
Build
26s
Build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build
lake build failed
Build
Process completed with exit code 1.