Skip to content

Remove workaround for GH pages publish step #2

Open
Open
Remove workaround for GH pages publish step#2

Description

@wolverian
wolverian
opened on Jan 13, 2022

agda-template/.github/workflows/github-pages.yml

Lines 20 to 25 in 783ccf5

- name: Copy HTML so the next step can read it
run: cp -vHR result html
- name: GitHub Pages
uses: crazy-max/ghaction-github-pages@v2.5.0
with:
build_dir: html

This should not be needed anymore: crazy-max/ghaction-github-pages#155 (comment)

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions