Skip to content

Commit

Permalink
prettier
Browse files Browse the repository at this point in the history
  • Loading branch information
dqnykamp committed Jul 30, 2024
1 parent 910294c commit 51882cc
Show file tree
Hide file tree
Showing 3 changed files with 15 additions and 17 deletions.
26 changes: 12 additions & 14 deletions .github/workflows/gh-pages-docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,24 +2,24 @@
name: Deploy static content to Pages

on:
# Runs on pushes targeting the default branch
push:
branches: ["main"]
# Runs on pushes targeting the default branch
push:
branches: ["main"]

# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
contents: read
pages: write
id-token: write

# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
group: "pages"
cancel-in-progress: false

jobs:
build-docs:
Expand Down Expand Up @@ -49,10 +49,8 @@ jobs:
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
# Upload built static site
path: 'packages/docs-nextra/out'
# Upload built static site
path: "packages/docs-nextra/out"
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4


4 changes: 2 additions & 2 deletions packages/docs-nextra/next.config.mjs
Original file line number Diff line number Diff line change
Expand Up @@ -136,8 +136,8 @@ export default withNextra({
assetPrefix,
basePath,
images: {
unoptimized: true
}
unoptimized: true,
},
});

// If you have other Next.js configurations, you can pass them as the parameter:
Expand Down
2 changes: 1 addition & 1 deletion packages/lsp-tools/src/doenet-to-markdown/trim.ts
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ export function trimLeadingWhitespace(
// Find the number of whitespace characters at the start of each line, with `\t` counting as `tabWidth` spaces.
const leadingWhitespace = lines.flatMap((line) =>
// Blank lines count as having infinite amounts of whitespace, so they are skipped over.
line.length === 0 ? [] : line.match(/^(\s*)/)?.[0] ?? "",
line.length === 0 ? [] : (line.match(/^(\s*)/)?.[0] ?? ""),
);
const whitespaceCount = leadingWhitespace.map((sp) =>
sp.split("").reduce((acc, c) => acc + (c === "\t" ? tabWidth : 1), 0),
Expand Down

0 comments on commit 51882cc

Please sign in to comment.