Skip to content
ci

Implement ADOBE_POSTCONDITION and ADOBE_INVARIANT #123

Sign in to view logs

Implement ADOBE_POSTCONDITION and ADOBE_INVARIANT

Implement ADOBE_POSTCONDITION and ADOBE_INVARIANT #123

Triggered via pull request August 17, 2024 00:27
@dabrahamsdabrahams
synchronize #11
postcondition-and-invariant
Status Success
Total duration 2m 38s
Artifacts –

ci.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in