try using app token for fetches · leanprover-community/leanprover-community.github.io@5d618fa

Triggered via push February 5, 2026 01:35

bryangingechen-patch-2

Status Success

Total duration 8m 21s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:59879acd7f451323f485c51b838f371938da946df7009ca82581547be35d2838`