Skip to content

Commit 4fefc8c

Browse files
author
Documenter.jl
committed
delete history
0 parents  commit 4fefc8c

File tree

1,444 files changed

+178999
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,444 files changed

+178999
-0
lines changed
Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
name: Fix Vitepress Symbolic Links
2+
3+
on:
4+
# Runs on pushes targeting the default branch
5+
push:
6+
branches:
7+
- "gh-pages"
8+
9+
# trigger this action after benchamrk result is updated
10+
workflow_run:
11+
workflows: [Benchmark Tracking]
12+
types: [completed]
13+
14+
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
15+
permissions:
16+
contents: read
17+
pages: write
18+
id-token: write
19+
20+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
21+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
22+
concurrency:
23+
group: "pages"
24+
cancel-in-progress: false
25+
26+
jobs:
27+
# Build job
28+
build:
29+
runs-on: ubuntu-latest
30+
steps:
31+
- name: Checkout
32+
uses: actions/checkout@v4
33+
with:
34+
ref: "gh-pages"
35+
fetch-depth: 0 # Not needed if lastUpdated is not enabled
36+
- name: Setup Pages
37+
uses: actions/configure-pages@v5
38+
- name: Fix Symbolic links for Vitepress
39+
run: |
40+
find -type l -exec bash -c 'dir="$0"; repo="\/QuantumToolbox.jl\/"; newlnk="$repo${dir:2}"; lnk="$(readlink -m "$0")"; orglnk="$repo$(basename $lnk)"; echo "$newlnk --> $orglnk"; rm "$0"; cp -r $lnk "$0"; cd "$0"; grep "$orglnk" . -lr | xargs sed -i "s/$orglnk/$newlnk/g"; cd ..' {} \;
41+
ls -al;
42+
- name: Build with Jekyll
43+
uses: actions/jekyll-build-pages@v1
44+
with:
45+
source: ./
46+
destination: ./_site
47+
- name: Upload artifact
48+
uses: actions/upload-pages-artifact@v3
49+
50+
# Deployment job
51+
deploy:
52+
environment:
53+
name: github-pages
54+
url: ${{ steps.deployment.outputs.page_url }}
55+
runs-on: ubuntu-latest
56+
needs: build
57+
steps:
58+
- name: Deploy to GitHub Pages
59+
id: deployment
60+
uses: actions/deploy-pages@v4

.gitignore

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
.DS_Store
2+
3+
*.jl.*.cov
4+
*.jl.cov
5+
*.jl.mem
6+
Manifest.toml
7+
docs
8+
*benchmarks_output.json
9+
10+
.vscode

benchmarks/data.js

Lines changed: 8408 additions & 0 deletions
Large diffs are not rendered by default.

benchmarks/favicon.ico

16.6 KB
Binary file not shown.

0 commit comments

Comments
 (0)