Skip to content
Test changes

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic #303

Sign in to view logs

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic #303

Triggered via pull request January 29, 2025 21:01
@nkruschnkrusch
synchronize #247
paper-vote-1
Status Success
Total duration 16s
Artifacts –

test.yaml

on: pull_request
Command tests
9s
Command tests
Fit to window
Zoom out
Zoom in