bump to leanprover/lean4:v4.5.0-rc1 #474

Triggered via push January 17, 2024 18:52

lecopivo

master

Status Success

Total duration 25m 57s

Artifacts 1

main.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	4.33 GB