Build and deploy documentation to Pages

Merge pull request #39 from leanprover/Upgrade-4.10.0-rc2 #23

Sign in to view logs

Triggered via push July 15, 2024 15:34

jtristan

main

Status Failure

Total duration 3m 45s

Artifacts –

static.yml

on: push

Build SampCert Docs

Annotations

1 error and 1 warning

Build SampCert Docs

Process completed with exit code 1.

Build SampCert Docs

Cache save failed.