Skip to content
Cryptol typecheck

Simon Specification Update #697

Sign in to view logs

Simon Specification Update

Simon Specification Update #697

Triggered via pull request January 30, 2025 15:48
@j-christensen1j-christensen1
synchronize #230
229-simon
Status Success
Total duration 1m 21s
Artifacts –

ci.yml

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