Skip to content
Cryptol typecheck

Speck Improvments #719

Sign in to view logs

Speck Improvments

Speck Improvments #719

Triggered via pull request February 4, 2025 16:06
@j-christensen1j-christensen1
synchronize #231
speck
Status Success
Total duration 1m 25s
Artifacts –

ci.yml

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