Build and Deploy documentation

Extensional maps #53

Sign in to view logs

Summary
Jobs
- build-coqdoc
Run details
- Usage
- Workflow file

Triggered via pull request March 15, 2024 19:55

Aqissiaq

opened #18

extensional-maps

Status Failure

Total duration 22m 14s

Artifacts –

deploy-docs.yml

on: pull_request

Annotations

1 error

build-coqdoc

GitHub Actions has encountered an internal error when running your job.