pretty: recover some files from TODO due to `BasePrettier` · aya-prover/locally-nameless-aya-draft@54e1623

Triggered via push March 9, 2024 00:31

ice1000

main

Status Failure

Total duration 38s

Artifacts –

gradle-check.yaml

on: push

2 errors and 3 warnings

❌ Failed to create checks using the provided token. (HttpError: Resource not accessible by integration)

Error: Gradle script '/home/runner/work/new-aya-draft/new-aya-draft/gradlew' is not executable.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, mikepenz/action-junit-report@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

⚠️ This usually indicates insufficient permissions. More details: https://github.com/mikepenz/action-junit-report/issues/23