CI

Fix `typeclass/typing` for HOL changes #487

Sign in to view logs

Summary
Jobs
- build
- release
- notify
Run details
- Usage
- Workflow file

Triggered via push September 7, 2025 10:43

hrutvik

master

Status Failure

Total duration 52m 29s

Artifacts –

pure.yml

on: push

Annotations

1 error

Process completed with exit code 1.