Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion .github/workflows/arewesafetycriticalyet-org-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,6 @@ jobs:
# You can swap them out with your own user credentials.
user_name: github-actions[bot]
user_email: 41898282+github-actions[bot]@users.noreply.github.com
keep_files: true

- name: Publish the link in a PR comment
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/arewesafetycriticalyet-org.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ jobs:
github_token: ${{ secrets.GITHUB_TOKEN }}
# Build output to publish to the `gh-pages` branch:
publish_dir: ./arewesafetycriticalyet.org/build
destination_dir: "website"
destination_dir: "/website/"
cname: arewesafetycriticalyet.org
# The following lines assign commit authorship to the official
# GH-Actions bot for deploys to `gh-pages` branch:
Expand Down
2 changes: 1 addition & 1 deletion arewesafetycriticalyet.org/docusaurus.config.ts
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import type * as Preset from '@docusaurus/preset-classic';

// This runs in Node.js - Don't use client-side code here (browser APIs, JSX...)

const baseUrl = process.env.BASE_URL || '/';
const baseUrl = process.env.BASE_URL || '/website';

const config: Config = {
title: 'Are We Safety Critical Yet?',
Expand Down