CI: add more comments, pursuant to previous changes · GaloisInc/cryptol@0d0540c

Triggered via pull request January 31, 2025 22:24

opened #1794

more-ci-comments

Status Success

Total duration 2m 25s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	86.1 MB