Skip to content
Format

Make programs testable via semantic rules #120

Sign in to view logs

Make programs testable via semantic rules

Make programs testable via semantic rules #120

Triggered via push October 25, 2024 19:53
@KabirSamsiKabirSamsi
pushed 89ca907
operational-semantics
Status Success
Total duration 2m 20s
Artifacts –

format.yml

on: push
format
2m 12s
format
Fit to window
Zoom out
Zoom in