Skip to content

Fix broken reference to Lean declarations in the blueprint #803

Fix broken reference to Lean declarations in the blueprint

Fix broken reference to Lean declarations in the blueprint #803

Triggered via push November 29, 2025 13:11
Status Success
Total duration 46m 4s
Artifacts 1

push.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
Cache not found for keys: setup-ruby-bundler-cache-v6-ubuntu-24.04-x64-ruby-3.1.7-wd-/home/runner/work/pfr/pfr/website-with--without--only--Gemfile.lock-223fcf2651c90315ffbff6fdb8f5b967ac9ac4405ee18582cec48c555d67283d, setup-ruby-bundler-cache-v6-ubuntu-24.04-x64-ruby-3.1.7-wd-/home/runner/work/pfr/pfr/website-with--without--only--Gemfile.lock-

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
30.7 MB
sha256:c2cef1528843207a44deb1bc9f64f608e2d8b0f9b095fc36698c9f32f1c21297