Skip to content

refactor: split E.texp into two simpler constructors (#503) #275

refactor: split E.texp into two simpler constructors (#503)

refactor: split E.texp into two simpler constructors (#503) #275

Triggered via push September 28, 2024 21:29
Status Failure
Total duration 1m 47s
Artifacts

gh-pages.yml

on: push
Deploy odoc to GitHub Pages
1m 38s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

2 errors
HttpError: home/runner/work/_actions/actions/configure-pages/v5/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