Merge pull request #34 from mjdemedeiros/main · leanprover/SampCert@dd9be00

Triggered via push July 3, 2024 16:20

jtristan

main

Status Success

Total duration 18m 58s

Artifacts 1

static.yml

on: push

1 warning

Cache save failed.

Produced during runtime

Name	Size
github-pages Expired	47.2 MB