Deploy Jekyll site to Pages

feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… #65

Sign in to view logs

Triggered via push June 13, 2026 12:06

main

Status Failure

Total duration 28s

Artifacts –

jekyll.yml

on: push

Annotations

2 errors

HttpError: Not Found - https://docs.github.com/rest/pages/pages#get-a-apiname-pages-site

HttpError: /home/runner/work/_actions/actions/configure-pages/45bfe0192ca1faeb007ade9deae92b16b8254a0d/node_modules/@octokit/request/dist-node/index.js#L124

Get Pages site failed. Please verify that the repository has Pages enabled and configured to build using GitHub Actions, or consider exploring the `enablement` parameter for this action. Error: Not Found - https://docs.github.com/rest/pages/pages#get-a-apiname-pages-site