Skip to content

lean4/4.12.0 package update #54531

lean4/4.12.0 package update

lean4/4.12.0 package update #54531

Triggered via pull request October 10, 2024 10:48
Status Success
Total duration 18m 11s
Billable time 30m
Artifacts 2

ci-build.yaml

on: pull_request
Determine packages to test building
1m 15s
Determine packages to test building
Matrix: Test building of packages
ABI Compatibility check
41s
ABI Compatibility check
Scan packages for CVEs
1m 9s
Scan packages for CVEs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CI build action
This workflow ran on a hosted runner that uses the "Base Image for Ubuntu Server 22.04". This image will be deprecated in September 2024. Please setup a new runner to use the "Ubuntu 22.04 by Arm Limited" or "Ubuntu 24.04 by Arm Limited" image. This will help reduce workflow run times as there are pre-installed tools. To view the list of installed software on new images, check out https://github.com/actions/partner-runner-images repository.

Artifacts

Produced during runtime
Name Size
packages-aarch64
252 MB
packages-x86_64
254 MB