continuous integration

Merge branch 'nightly-testing' of github.com:leanprover-community/mat… #146322

Sign in to view logs

Triggered via push November 27, 2024 21:35

kim-em

nightly-testing

Status Failure

Total duration 35m 49s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

Annotations

1 error

The process '/usr/bin/bash' failed with exit code 1