ci

feat: getElem_tail lemmas #7967

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Re-run triggered August 25, 2024 13:25

fgdorais

#905

pimotte:getElem_tail_lemmas

Status Failure

Total duration 1m 7s

Artifacts –

build.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.