Test PR

Update `pyk` dependencies #493

Sign in to view logs

Triggered via pull request January 24, 2025 10:25

tothtamas28

opened #4746

update-deps

Status Cancelled

Total duration 22s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch

Annotations

2 errors

Change base to develop branch

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

Change base to develop branch

The operation was canceled.