-
Notifications
You must be signed in to change notification settings - Fork 0
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
0 parents
commit fff05a2
Showing
343 changed files
with
4,082 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> | ||
~~~ |
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,3 @@ | ||
[deps] | ||
Franklin = "713c75ef-9fc9-4b05-94a9-213340da978e" | ||
NodeJS = "2bd173c7-0d6d-553b-b6af-13a54713934c" |
Binary file not shown.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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 @@ | ||
# Parent file to run all scripts which may generate | ||
# some output that you want to display on the website. | ||
# this can be used as a tester to check that all the code | ||
# on your website runs properly. | ||
|
||
dir = @__DIR__ | ||
|
||
""" | ||
genplain(s) | ||
Small helper function to run some code and redirect the output (stdout) to a file. | ||
""" | ||
function genplain(s::String) | ||
open(joinpath(dir, "output", "$(splitext(s)[1]).txt"), "w") do outf | ||
redirect_stdout(outf) do | ||
include(joinpath(dir, s)) | ||
end | ||
end | ||
end | ||
|
||
# output | ||
|
||
genplain("script1.jl") | ||
|
||
# plots | ||
|
||
include("script2.jl") |
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,5 @@ | ||
*---------1.3 | ||
**--------1.3 | ||
***-------1.3 | ||
****------1.3 | ||
*****-----1.3 |
Oops, something went wrong.