Cryptol typecheck

SHA3: clean up round functions #503

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request September 18, 2024 14:33

marsella

opened #141

138-clarify-round-functions

Status Success

Total duration 2m 0s

Artifacts –

ci.yml

on: pull_request