PR Preview

Elementary topos nonsense #924

Sign in to view logs

Summary
Jobs
- pr-preview
Run details
- Usage
- Workflow file

Triggered via pull request March 7, 2025 18:06

plt-amy

synchronize #411

aliao/elementary-topoi

Status Failure

Total duration 1m 55s

Artifacts –

preview.yml

on: pull_request

Annotations

1 error and 1 warning

Process completed with exit code 1.

No push credentials found. Ignoring the 'useDaemon' option.