chore: update to Lean v4.13.0 #130

Triggered via push November 27, 2024 18:28

tydeu

master

Status Failure

Total duration 6h 0m 26s

Artifacts 3

ci.yml

on: push

Matrix: build

2 errors

The job running on runner GitHub Actions 2 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

Produced during runtime