Skip to content
Build

Update gradle.properties #133

Sign in to view logs

Update gradle.properties

Update gradle.properties #133

Triggered via push October 11, 2024 02:40
@onrivonriv
pushed 8693289
main
Status Cancelled
Total duration 6m 34s
Artifacts 1

build.yml

on: push
Build
3m 47s
Build
Test
2m 28s
Test
Inspect code
1m 6s
Inspect code
Verify plugin
1m 20s
Verify plugin
Release draft
7s
Release draft
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 1 warning
Inspect code
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
Inspect code
The operation was canceled.
Verify plugin
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
Verify plugin
Gradle build failed: see console output for details
Verify plugin
The operation was canceled.
Test
Canceling since a higher priority waiting request for 'Build-refs/heads/main' exists
Test
The operation was canceled.
Verify plugin
No files were found with the provided path: /home/runner/work/lean4ij/lean4ij/build/reports/pluginVerifier. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size
lean4ij-0.0.18.beta.0 Expired
13.1 MB