mirror of
https://github.com/microsoft/WSL.git
synced 2025-12-10 00:44:55 -06:00
697572d664
Many Microsoft employees have contributed to the Windows Subsystem for Linux, this commit is the result of their work since 2016. The entire history of the Windows Subsystem for Linux can't be shared here, but here's an overview of WSL's history after it moved to it own repository in 2021: Number of commits on the main branch: 2930 Number of contributors: 31 Head over https://github.com/microsoft/WSL/releases for a more detailed history of the features added to WSL since 2021.
35 lines
807 B
YAML
35 lines
807 B
YAML
name: Build documentation
|
|
on:
|
|
workflow_dispatch:
|
|
push:
|
|
branches: [main, master]
|
|
|
|
jobs:
|
|
DeployDocs:
|
|
environment:
|
|
name: github-pages
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
contents: read
|
|
pages: write
|
|
id-token: write
|
|
steps:
|
|
- name: Checkout actions
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Install packages
|
|
run: pip install mkdocs-mermaid2-plugin mkdocs --break-system-packages
|
|
shell: bash
|
|
|
|
- name: Build documentation
|
|
run: mkdocs build -f doc/mkdocs.yml
|
|
shell: bash
|
|
|
|
- uses: actions/upload-pages-artifact@v3
|
|
with:
|
|
path: doc/site
|
|
|
|
- name: Deploy to GitHub Pages
|
|
id: deployment
|
|
uses: actions/deploy-pages@v4 |