Skip `test_project.py` when running in Docker · GaloisInc/cryptol@97430fb

Triggered via pull request March 13, 2025 12:32

opened #1825

Status Success

Total duration 2m 26s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	87.1 MB