Extensional maps #56

Sign in to view logs

Triggered via pull request March 15, 2024 19:55

Aqissiaq

opened #18

extensional-maps

Status Failure

Total duration 16m 47s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

Annotations

3 errors

build (coqorg/coq:8.18)

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

build (coqorg/coq:8.17)

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

build (coqorg/coq:8.16)

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