Test PR

Fix `match_with_constraint` #400

Sign in to view logs

Triggered via pull request July 4, 2024 09:10

tothtamas28

opened #4499

fix-cterm-match

Status Cancelled

Total duration 19s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch

Annotations

1 error

Change base to develop branch

Canceling since a higher priority waiting request for 'Test PR-refs/pull/4499/merge' exists