Skip to content
Cryptol typecheck

Simon Specification Update #690

Sign in to view logs

Simon Specification Update

Simon Specification Update #690

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

ci.yml

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