Skip to content
Cryptol typecheck

Merge pull request #167 from GaloisInc/delete-1.0-sphincs #554

Sign in to view logs

Merge pull request #167 from GaloisInc/delete-1.0-sphincs

Merge pull request #167 from GaloisInc/delete-1.0-sphincs #554

Triggered via push October 31, 2024 19:32
@mccleeary-galoismccleeary-galois
pushed 774ec5b
master
Status Success
Total duration 1m 24s
Artifacts –

ci.yml

on: push
check
1m 14s
check
Fit to window
Zoom out
Zoom in