Skip to content

Add page on urlbar events dataset (#799) #199

Add page on urlbar events dataset (#799)

Add page on urlbar events dataset (#799) #199

Workflow file for this run

name: Deploy
on:
push:
branches:
main
jobs:
build:
name: Deploy
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- name: Install mdbook-dtmo
run: |
scripts/crate.sh --repo badboy/mdbook-dtmo --to ~/.cargo/bin
mdbook-dtmo --version
- name: Build
run: |
mdbook-dtmo build .
- name: Install github-pages
run: |
npm install gh-pages@3.1.0
- name: Set Git config
run: |
git config user.email "no-one@mozilla.com"
git config user.name "GitHub Actions docs-deploy job"
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
- name: Deploy to GitHub pages
run: |
echo "docs-origin.telemetry.mozilla.org" > book/CNAME
npx gh-pages --dotfiles --message "Deploy docs" --dist book