You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# NOTE: Here you can install dependencies such as matplotlib if you use
30
+
# packages such as PyPlot.
31
+
# - run: pip install matplotlib
32
+
- name: Install Julia
33
+
uses: julia-actions/setup-julia@v1
34
+
with:
35
+
version: 1.5
36
+
# NOTE
37
+
# The steps below ensure that NodeJS and Franklin are loaded then it
38
+
# installs highlight.js which is needed for the prerendering step
39
+
# (code highlighting + katex prerendering).
40
+
# Then the environment is activated and instantiated to install all
41
+
# Julia packages which may be required to successfully build your site.
42
+
# The last line should be `optimize()` though you may want to give it
43
+
# specific arguments, see the documentation or ?optimize in the REPL.
44
+
- run: julia -e '
45
+
using Pkg; Pkg.add(["NodeJS", "Franklin"]);
46
+
using NodeJS; run(`$(npm_cmd()) install highlight.js`);
47
+
using Franklin;
48
+
Pkg.activate("."); Pkg.instantiate();
49
+
optimize()'
50
+
- name: Deploy (preview)
51
+
if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this build is a PR build and the PR is NOT from a fork
name: PR Comment # Write a comment in the PR with a link to the preview of the given website
2
+
on:
3
+
pull_request:
4
+
types: [opened, reopened]
5
+
jobs:
6
+
pr_comment:
7
+
runs-on: ubuntu-latest
8
+
steps:
9
+
- name: Create PR comment
10
+
if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this is a pull request build AND the pull request is NOT made from a fork
0 commit comments