Skip to content

Test Workflow

Test Workflow #26

Automerge (automerger-test)

succeeded Mar 16, 2024 in 53s
Set up job
0s
Check Automerge Repo to Test
0s
Automerge runtimeverification/automerger-test
30s
Automerge runtimeverification/automerger-test
20s
Post Automerge runtimeverification/automerger-test
0s
Post Automerge runtimeverification/automerger-test
0s
Post Check Automerge Repo to Test
0s
Complete job
0s