Skip to content
Block merging PRs with 'no-merge' label

fix inverted dependency synthesis #57

Sign in to view logs

fix inverted dependency synthesis

fix inverted dependency synthesis #57

Triggered via pull request July 9, 2024 19:12
@jfrconleyjfrconley
synchronize #27
joco/fix-inverted-dependency-synthesis
Status Skipped
Total duration 2s
Artifacts –

stop-no-merge-labels.yml

on: pull_request
Block merging PRs with no-merge label
0s
Block merging PRs with no-merge label
Fit to window
Zoom out
Zoom in