Problem: gov param is outdated in swagger (#1616) #10920

Sign in to view logs

Triggered via push October 3, 2024 13:36

github-merge-queue[bot]

main

Status Cancelled

Total duration 1m 44s

Artifacts –

sims.yml

on: push

Check whether it is triggered by team members with issue_comment or push or pull_request

test-sim-nondeterminism

test-sim-import-export

test-sim-after-import

test-sim-multi-seed-short

report-status-pr

Annotations

2 errors

Canceling since a higher priority waiting request for 'Sims-refs/heads/main' exists

The operation was canceled.