Cryptol typecheck

Merge pull request #156 from GaloisInc/147-ntt #560

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push November 5, 2024 14:31

marsella

master

Status Success

Total duration 1m 30s

Artifacts –

ci.yml

on: push