try to solve leanification issue #3470

Triggered via pull request September 13, 2023 12:58

synchronize #728

fix/ci

Status Success

Total duration 5m 41s

Artifacts 1

build-book.yml

on: pull_request

1 warning

Cache save failed.

Produced during runtime

Name	Size
mlr3book Expired	64.8 KB