Skip to content
Run GOTO Transcoder (ESBMC)

Fix subtree automation for submodules when there were no changes #645

Sign in to view logs

Fix subtree automation for submodules when there were no changes

Fix subtree automation for submodules when there were no changes #645

Triggered via pull request June 25, 2025 18:48
@tautschnigtautschnig
opened #396
tautschnig:fixup-submodule-automation
Status Success
Total duration 23m 26s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
23m 22s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in