Build

proofsearch: fix #33 #137

Sign in to view logs

Triggered via push December 25, 2024 21:43

ice1000

main

Status Failure

Total duration 2m 52s

Artifacts –

build.yml

on: push

Annotations

1 error and 2 warnings

Process completed with exit code 1.

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

No files were found with the provided path: /home/runner/work/intellij-aya/intellij-aya/build/reports/tests. No artifacts will be uploaded.