Merge pull request #29 from mjdemedeiros/ExtendedAdaptiveComposition · leanprover/SampCert@3581423

Triggered via push July 1, 2024 20:26

jtristan

main

Status Success

Total duration 1h 16m 31s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	46.4 MB