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.

Sign up for GitHub

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

Jump to bottom

Automate SVG rendering in MkDocs #49

Merged
merged 10 commits into from
Jun 15, 2023
Merged

Automate SVG rendering in MkDocs #49

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
60f88f8
Add Python venv to gitignore
aabounegm May 30, 2023
e74733b
Add MkDocs to Python's list of requirements
aabounegm May 30, 2023
0096260
Add a MkDocs hook to automatically generate SVGs
aabounegm May 30, 2023
47d5e52
Remove hardcoded diagrams from the markdown source
aabounegm May 30, 2023
e8b7134
Add a step to setup rzk before MkDocs
aabounegm May 30, 2023
0acc78a
Enable squashing gh-pages history
aabounegm May 30, 2023
73fb199
Move styles from Haskell source code to HTML
aabounegm May 30, 2023
216bf42
Combine both classes into one
aabounegm May 31, 2023
780643d
Configure the SVG generator to only run on .rzk.md
aabounegm May 31, 2023
a5b5bce
Remove hardcoded tag for the release
aabounegm May 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Enable squashing gh-pages history 
to optimize git repo size
  • Loading branch information
@aabounegm
aabounegm committed May 30, 2023
commit 0acc78a95dacd80bb07eb3b6b6a92743b4560ea9
2 changes: 2 additions & 0 deletions .github/workflows/ghcjs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,7 @@ jobs:
folder: dist
target-folder: ${{ github.ref_name }}
clean: false
single-commit: true

- name: "📘 Publish JS \"binaries\""
if: ${{ github.ref_name == 'main' && github.event_name == 'push' }}
Expand All @@ -81,3 +82,4 @@ jobs:
token: ${{ secrets.GITHUB_TOKEN }}
folder: dist
clean: false
single-commit: true
1 change: 1 addition & 0 deletions .github/workflows/haddock.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,3 +59,4 @@ jobs:
github_token: ${{ secrets.GITHUB_TOKEN }}
folder: dist/haddock
target-folder: haddock
single-commit: true
2 changes: 2 additions & 0 deletions .github/workflows/mkdocs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@ jobs:
folder: dist
target-folder: ${{ github.ref_name }}
clean: false
single-commit: true

- name: 📘 Publish Generated MkDocs
if: ${{ github.ref_name == 'main' }}
Expand All @@ -52,3 +53,4 @@ jobs:
github_token: ${{ secrets.GITHUB_TOKEN }}
folder: dist
clean: false
single-commit: true