Cryptol typecheck

simplify state-to-bit-string conversions in SHA3 #524

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request October 9, 2024 19:55

marsella

opened #153

138-simplify-flatten

Status Success

Total duration 1m 45s

Artifacts –

ci.yml

on: pull_request