Skip to content
Cryptol typecheck

Simon Specification Update #684

Sign in to view logs

Simon Specification Update

Simon Specification Update #684

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

ci.yml

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