Skip to content

fix: switch refuteCycles to be an array #113

fix: switch refuteCycles to be an array

fix: switch refuteCycles to be an array #113

Triggered via pull request January 7, 2025 04:05
Status Success
Total duration 58s
Artifacts

ci.yml

on: pull_request
Repo Workflow Debugging
0s
Repo Workflow Debugging
ci  /  Display useful debugging information
0s
ci / Display useful debugging information
ci  /  Run pr agent on every pull request, respond to user comments
20s
ci / Run pr agent on every pull request, respond to user comments
ci  /  QA merge checks
47s
ci / QA merge checks
ci-test-only  /  Display useful debugging information
ci-test-only / Display useful debugging information
ci-test-only  /  QA merge checks
ci-test-only / QA merge checks
ci-test-only  /  Run pr agent on every pull request, respond to user comments
ci-test-only / Run pr agent on every pull request, respond to user comments
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Repo Workflow Debugging
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ci / Display useful debugging information
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ci / Run pr agent on every pull request, respond to user comments
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ci / QA merge checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ci / QA merge checks
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci / QA merge checks
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci / QA merge checks
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ci / QA merge checks
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/