Skip to content
CI

feat: fetch releases and assets from release.lean-lang.org instead of… #77

Sign in to view logs

feat: fetch releases and assets from release.lean-lang.org instead of…

feat: fetch releases and assets from release.lean-lang.org instead of… #77

Triggered via push April 30, 2025 09:08
@KhaKha
pushed cb510c9
push-rwzkvxuvyyul
Status Success
Total duration 13m 9s
Artifacts 5

ci.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
build-Linux Expired
4.72 MB
sha256:fb295c9e03af3a5a41a282f55175110e5c202f7c38ec2f4b8ec1ec96f01900ab
build-Linux aarch64 Expired
4.85 MB
sha256:b0721727753fa642990af894cfb2929148ed25059b544b87892f35f19ce9afd5
build-Windows Expired
2.28 MB
sha256:f354a42b7eeeb5f4ea567a4d9a7fb506a16c767b36dbce85b53cbaa88598b409
build-macOS Expired
2.22 MB
sha256:6864100d16f9cd8d050681033f2587817b7248ac0cecdc7b06a985bd867d4ac0
build-macOS aarch64 Expired
2.09 MB
sha256:abd0482b2ca4a148f102fcfa1532155e432f9a3437053b615e613c5f65a1a141