Skip to content

Build bottle of yices2 on ubuntu-22.04-arm #61111

Build bottle of yices2 on ubuntu-22.04-arm

Build bottle of yices2 on ubuntu-22.04-arm #61111

Manually triggered March 20, 2025 22:28
Status Success
Total duration 14m 55s
Artifacts 2

dispatch-build-bottle.yml

on: workflow_dispatch
Matrix: bottle
comment
0s
comment
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 4 notices
bottle (ubuntu-22.04-arm, ghcr.io/homebrew/ubuntu22.04:master, --user=linuxbrew -e GITHUB_ACTIONS...
Cache not found for keys: Linux-rubygems-a34e06861c8d52d6b4adf3cdbd37f1f5f940d1e0e5f1bb5e5e6b7a8d769abd52, Linux-rubygems-
upload
Can't add secret mask for empty string in ##[add-mask] command.
upload
Input 'ssh' has been deprecated with message: Has no effect; SSH signing is always used

Artifacts

Produced during runtime
Name Size Digest
bottles_ubuntu-22.04-arm
3.89 MB
sha256:b908e1a97fffe7a330c29e08e1a16b603d2759503f5018eb787bed2b58487334
logs_ubuntu-22.04-arm
32.7 KB
sha256:fd090694bceb7fc95439c8ab05fd136e82b3d958433d09ef479e95ccf72fb360