-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
363 changed files
with
4,795 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,47 @@ | ||
name: Build and Deploy | ||
on: | ||
push: | ||
branches: | ||
- main | ||
- master | ||
jobs: | ||
build-and-deploy: | ||
runs-on: ubuntu-latest | ||
permissions: | ||
contents: write | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
with: | ||
persist-credentials: false | ||
# NOTE: Python is necessary for the pre-rendering (minification) step | ||
- name: Install python | ||
uses: actions/setup-python@v2 | ||
with: | ||
python-version: '3.8' | ||
# NOTE: Here you can install dependencies such as matplotlib if you use | ||
# packages such as PyPlot. | ||
# - run: pip install matplotlib | ||
- name: Install Julia | ||
uses: julia-actions/setup-julia@v1 | ||
with: | ||
version: '1' # Latest stable Julia release. | ||
# NOTE | ||
# The steps below ensure that NodeJS and Franklin are loaded then it | ||
# installs highlight.js which is needed for the prerendering step | ||
# (code highlighting + katex prerendering). | ||
# Then the environment is activated and instantiated to install all | ||
# Julia packages which may be required to successfully build your site. | ||
# The last line should be `optimize()` though you may want to give it | ||
# specific arguments, see the documentation or ?optimize in the REPL. | ||
- run: julia -e ' | ||
using Pkg; Pkg.activate("."); Pkg.instantiate(); | ||
using NodeJS; run(`$(npm_cmd()) install highlight.js`); | ||
using Franklin; | ||
optimize()' | ||
- name: Build and Deploy | ||
uses: JamesIves/github-pages-deploy-action@releases/v3 | ||
with: | ||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | ||
BRANCH: gh-pages | ||
FOLDER: __site |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
__site/ | ||
.DS_Store | ||
node_modules/ | ||
package-lock.json |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
image: julia:1.6 | ||
|
||
before_script: | ||
- apt-get -qq update; apt-get -y install git python3-dev python3-pip | ||
- pip3 install css-html-js-minify | ||
|
||
pages: | ||
stage: deploy | ||
script: | ||
- julia --project=@. -e 'import Pkg; Pkg.instantiate(); | ||
using NodeJS; run(`$(npm_cmd()) install highlight.js`); | ||
using Franklin; | ||
optimize()' | ||
- mv __site public | ||
artifacts: | ||
paths: | ||
- public | ||
only: | ||
- main | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
@def title = "404" | ||
|
||
~~~ | ||
<div style="margin-top: 40px; font-size: 40px; text-align: center;"> | ||
<br> | ||
<div style="font-weight: bold;"> | ||
404 | ||
</div> | ||
<br> | ||
<br> | ||
The requested page was not found | ||
<br> | ||
<br> | ||
<br> | ||
<br> | ||
<div style="margin-bottom: 300px; font-size: 24px"> | ||
<a href="/">Click here</a> to go back to the homepage. | ||
</div> | ||
</div> | ||
~~~ |
Oops, something went wrong.