merge: Fix subtyping from path to pi (#1250) · aya-prover/aya-dev@d849d4d

Triggered via push December 22, 2024 00:18

ice1000

main

Status Success

Total duration 3m 8s

Artifacts –

nightly-build.yaml

on: push

Matrix: nightly-build

6 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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/