ci

feat: Laws for monads with `Alternative` instances. #11413

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Re-run triggered March 3, 2025 20:16

eric-wieser

#1152

dtumad:main

Status Failure

Total duration 54s

Artifacts –

build.yml

on: pull_request

Annotations

2 errors

lake lint failed

Process completed with exit code 1.