Skip to content
Handle SyncWith tag

Set zm_multi_prover metadata for complex code blocks #4

Sign in to view logs

Set zm_multi_prover metadata for complex code blocks

Set zm_multi_prover metadata for complex code blocks #4

Triggered via pull request December 31, 2023 19:03
@akokoshnakokoshn
synchronize #99
446-set-pragma-multiprover-complex-code-block
Status Success
Total duration 14s
Artifacts –

handle-syncwith.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
3s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
Fit to window
Zoom out
Zoom in