Skip to content
Cryptol typecheck

Simon Specification Update #688

Sign in to view logs

Simon Specification Update

Simon Specification Update #688

Triggered via pull request January 29, 2025 20:55
@j-christensen1j-christensen1
synchronize #230
229-simon
Status Success
Total duration 1m 19s
Artifacts –

ci.yml

on: pull_request
check
1m 11s
check
Fit to window
Zoom out
Zoom in