Skip to content

chore(deps): Bump Microsoft.Extensions.Logging.Console from 8.0.0 to 8.0.1 in /packages/@jsii/dotnet-runtime/src #6160

chore(deps): Bump Microsoft.Extensions.Logging.Console from 8.0.0 to 8.0.1 in /packages/@jsii/dotnet-runtime/src

chore(deps): Bump Microsoft.Extensions.Logging.Console from 8.0.0 to 8.0.1 in /packages/@jsii/dotnet-runtime/src #6160

Workflow file for this run

# Workflow that publishes to the gh-pacges branch
name: GitHub Pages
on:
merge_group: {}
pull_request:
branches: [main]
push:
branches: [main]
paths: [gh-pages/**]
workflow_dispatch:
jobs:
build:
name: build
permissions:
contents: read
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
cache: 'pip'
cache-dependency-path: 'gh-pages/requirements-dev.txt'
python-version: '3.8'
- name: Install Dependencies
run: |-
python3 -m venv ${{ runner.temp }}/venv
source ${{ runner.temp }}/venv/bin/activate
python3 -m pip install -r requirements-dev.txt
working-directory: gh-pages
- name: Build DocSite
run: |-
mkdir -p ${{ runner.temp }}/site
source ${{ runner.temp }}/venv/bin/activate
mkdocs build \
--strict \
--site-dir ${{ runner.temp }}/site
working-directory: gh-pages
- name: Upload Artifact
uses: actions/upload-artifact@v3
with:
name: doc-site
path: ${{ runner.temp }}/site/
publish:
name: Publish
needs: build
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
permissions:
contents: write
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v4
with:
ref: gh-pages
token: ${{ secrets.PROJEN_GITHUB_TOKEN }}
- name: Download Artifact
uses: actions/download-artifact@v3
with:
name: doc-site
path: ${{ runner.temp }}/site
- name: Configure Git
run: |-
git config user.name "AWS CDK Automation"
git config user.email "aws-cdk+automation@amazon.com"
- name: Prepare Commit
run: |-
rsync --archive --checksum --delete --inplace --recursive --verbose \
--exclude=.git --exclude=.nojekyll --exclude=dev \
${{ runner.temp }}/site/ ./
git add .
git diff --cached --exit-code >/dev/null || (
git commit -am 'docs: publish from ${{ github.sha }}'
)
- name: Push
run: |-
git push origin gh-pages:gh-pages