mirror of
https://github.com/mainmatter/100-exercises-to-learn-rust
synced 2024-11-16 19:50:44 +01:00
Merge pull request #172 from marcoow/fix-fork-build
Fix builds for PRs originating from forks
This commit is contained in:
commit
c540242c15
2 changed files with 20 additions and 10 deletions
18
.github/workflows/ci.yml
vendored
18
.github/workflows/ci.yml
vendored
|
@ -19,17 +19,27 @@ jobs:
|
||||||
- uses: actions/checkout@v4
|
- uses: actions/checkout@v4
|
||||||
with:
|
with:
|
||||||
fetch-depth: 0
|
fetch-depth: 0
|
||||||
- uses: actions/checkout@v4
|
- name: Get Core Sans
|
||||||
|
uses: actions/checkout@v4
|
||||||
|
if: "!github.event.pull_request.head.repo.fork"
|
||||||
with:
|
with:
|
||||||
fetch-depth: 0
|
fetch-depth: 0
|
||||||
repository: mainmatter/core-sans-a-fonts
|
repository: mainmatter/core-sans-a-fonts
|
||||||
ssh-key: ${{ secrets.SSH_PRIVATE_KEY }}
|
ssh-key: ${{ secrets.SSH_PRIVATE_KEY }}
|
||||||
path: core-sans-a-fonts
|
path: core-sans-a-fonts
|
||||||
- name: Install Fonts
|
- name: Install Core Sans Font
|
||||||
|
if: "!github.event.pull_request.head.repo.fork"
|
||||||
run: |
|
run: |
|
||||||
sudo cp -r core-sans-a-fonts/* /usr/local/share/fonts/
|
sudo cp -r core-sans-a-fonts/* /usr/local/share/fonts/
|
||||||
sudo fc-cache -f -v
|
sudo fc-cache -f -v
|
||||||
fc-list | grep "Core Sans"
|
fc-list | grep "Core Sans"
|
||||||
|
- name: Use Fallback font for fork PRs
|
||||||
|
if: "github.event.pull_request.head.repo.fork"
|
||||||
|
run: |
|
||||||
|
sed -i 's/"BoldFont=CoreSansA65.ttf",//g' book/book.toml
|
||||||
|
sed -i 's/"ItalicFont=CoreSansA45It.ttf",//g' book/book.toml
|
||||||
|
sed -i 's/"BoldItalicFont=CoreSansA65It.ttf",//g' book/book.toml
|
||||||
|
sed -i 's/CoreSansA45.ttf/Open Sans:style=Regular/g' book/book.toml
|
||||||
- uses: actions-rust-lang/setup-rust-toolchain@v1
|
- uses: actions-rust-lang/setup-rust-toolchain@v1
|
||||||
- name: Install exercise plugin
|
- name: Install exercise plugin
|
||||||
run: cargo install --path helpers/mdbook-exercise-linker
|
run: cargo install --path helpers/mdbook-exercise-linker
|
||||||
|
@ -39,8 +49,8 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
cargo install mdbook-pandoc --locked --version 0.7.1
|
cargo install mdbook-pandoc --locked --version 0.7.1
|
||||||
sudo apt-get update
|
sudo apt-get update
|
||||||
sudo apt-get install -y fonts-noto calibre pdftk
|
sudo apt-get install -y fonts-noto fonts-open-sans calibre pdftk
|
||||||
|
sudo fc-cache -f -v
|
||||||
export PANDOC_VERSION=3.3
|
export PANDOC_VERSION=3.3
|
||||||
curl -LsSf https://github.com/jgm/pandoc/releases/download/${PANDOC_VERSION}/pandoc-${PANDOC_VERSION}-linux-amd64.tar.gz | tar zxf -
|
curl -LsSf https://github.com/jgm/pandoc/releases/download/${PANDOC_VERSION}/pandoc-${PANDOC_VERSION}-linux-amd64.tar.gz | tar zxf -
|
||||||
echo "$PWD/pandoc-${PANDOC_VERSION}/bin" >> $GITHUB_PATH
|
echo "$PWD/pandoc-${PANDOC_VERSION}/bin" >> $GITHUB_PATH
|
||||||
|
|
|
@ -49,8 +49,8 @@ sansfontoptions = [
|
||||||
]
|
]
|
||||||
# You can get these fonts here: https://fonts.google.com/selection?query=noto+color+
|
# You can get these fonts here: https://fonts.google.com/selection?query=noto+color+
|
||||||
monofont = "Noto Sans Mono"
|
monofont = "Noto Sans Mono"
|
||||||
mainfontfallback = ["Noto Color Emoji:mode=harf"]
|
mainfontfallback = ["Open Sans"]
|
||||||
sansfontfallback = ["Noto Color Emoji:mode=harf"]
|
sansfontfallback = ["Open Sans"]
|
||||||
monofontfallback = [
|
monofontfallback = [
|
||||||
"Noto Color Emoji:mode=harf",
|
"Noto Color Emoji:mode=harf",
|
||||||
]
|
]
|
||||||
|
@ -90,8 +90,8 @@ sansfontoptions = [
|
||||||
]
|
]
|
||||||
# You can get these fonts here: https://fonts.google.com/selection?query=noto+color+
|
# You can get these fonts here: https://fonts.google.com/selection?query=noto+color+
|
||||||
monofont = "Noto Sans Mono"
|
monofont = "Noto Sans Mono"
|
||||||
mainfontfallback = ["Noto Color Emoji:mode=harf"]
|
mainfontfallback = ["Open Sans"]
|
||||||
sansfontfallback = ["Noto Color Emoji:mode=harf"]
|
sansfontfallback = ["Open Sans"]
|
||||||
monofontfallback = [
|
monofontfallback = [
|
||||||
"Noto Color Emoji:mode=harf",
|
"Noto Color Emoji:mode=harf",
|
||||||
]
|
]
|
||||||
|
@ -121,8 +121,8 @@ metadata-file = "metadata.yml"
|
||||||
[output.pandoc.profile.html.variables]
|
[output.pandoc.profile.html.variables]
|
||||||
# You can get these fonts here: https://fonts.google.com/selection?query=noto+color+
|
# You can get these fonts here: https://fonts.google.com/selection?query=noto+color+
|
||||||
monofont = "Noto Sans Mono"
|
monofont = "Noto Sans Mono"
|
||||||
mainfontfallback = ["Noto Color Emoji:mode=harf"]
|
mainfontfallback = ["Open Sans"]
|
||||||
sansfontfallback = ["Noto Color Emoji:mode=harf"]
|
sansfontfallback = ["Open Sans"]
|
||||||
monofontfallback = [
|
monofontfallback = [
|
||||||
"Noto Color Emoji:mode=harf",
|
"Noto Color Emoji:mode=harf",
|
||||||
]
|
]
|
||||||
|
|
Loading…
Reference in a new issue