Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Publishing workflow #165

Merged
merged 4 commits into from
Sep 19, 2024
Merged

Publishing workflow #165

merged 4 commits into from
Sep 19, 2024

Commits on Sep 18, 2024

  1. Removed Output folder

    We do not need to keep the compiled part in the repo since we are going
    to publish to GH Pages but without the results as part of the main branch.
    thasso committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    80c814a View commit details
    Browse the repository at this point in the history
  2. Cleanup Images and added build scripts

    There were duplicates in Diagrams and Images but the ones from Diagrams
    were references. The new pipeline expects images in the Images folder though.
    Since the files were identical, this commit removes the png files from
    the Diagrams folder and makes sure that we are using the ones from Images.
    
    This commit also adds the basic build and setup scripts for the new
    workflow.
    thasso committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    d81c24c View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Added a fixed date

    The goal was to re-publish the original, last published version. For that
    I added a fixed date to the meta-data that I took from the last version
    I could find.
    thasso committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    aa63447 View commit details
    Browse the repository at this point in the history
  2. Added publish and PR workflows

    This commit adds the GH Actions to build a PR as well as the ones to publish.
    To keep things consistent, this commit also updates the README to make sure
    that links in the README will work again.
    thasso committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    c77cb54 View commit details
    Browse the repository at this point in the history