WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content
gh-pages

Merge pull request #384 from jorisv/topic/fix-build-without-pinocchio #157

Sign in to view logs

Merge pull request #384 from jorisv/topic/fix-build-without-pinocchio

Merge pull request #384 from jorisv/topic/fix-build-without-pinocchio #157

Triggered via push December 11, 2025 17:42
@ManifoldFRManifoldFR
pushed 5dba5b8
main
Status Success
Total duration 1m 39s
Artifacts 1

gh-pages.yml

on: push
build
1m 18s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0rAI7aQAAAAAm5nZfqDd+R4is7VU706puUEhMMzBFREdFMDEyMABFZGdl
build
Failed to restore: Cache service responded with 400

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
6.08 MB
sha256:c6acb9b2a4a4d3c6b695f5be969c8da216a6fd031d1c581fda1378fd335b71de