Skip to content

Commit

Permalink
Merge branch 'main' into feature/extend-llvm-bindings
Browse files Browse the repository at this point in the history
  • Loading branch information
marcauberer authored Feb 26, 2024
2 parents 7b522e9 + 7ecae5c commit 7c9d668
Show file tree
Hide file tree
Showing 4 changed files with 50 additions and 3 deletions.
32 changes: 32 additions & 0 deletions .github/labeler.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
'compiler':
- changed-files:
- any-glob-to-any-file:
- 'src/**/*'
- 'test/**/*'
- 'CMakeLists.txt'
- 'Options.cmake'

'bootstrap':
- changed-files:
- any-glob-to-any-file:
- 'bootstrap/**/*'

'std':
- changed-files:
- any-glob-to-any-file:
- 'std/**/*'

'documentation':
- changed-files:
- any-glob-to-any-file:
- 'doc/**/*'
- 'media/**/*'
- 'README.md'
- 'CONTRIBUTING.md'
- 'LICENSE'
- 'CHANGELOG.md'

'ci':
- changed-files:
- any-glob-to-any-file:
- '.github/**/*'
15 changes: 15 additions & 0 deletions .github/workflows/label.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
# Label pull requests based on the files that are modified.
name: Labeler

on:
pull_request:
branches:
- main

jobs:
label:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v5
with:
repo-token: '${{ secrets.GITHUB_TOKEN }}'
2 changes: 1 addition & 1 deletion .github/workflows/misspell.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ on:

jobs:
spellcheck:
runs-on: ubuntu-22.04
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
Expand Down
4 changes: 2 additions & 2 deletions docs/requirements.txt
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
mkdocs-material==9.5.9
mkdocs-material==9.5.11
mkdocs-minify-plugin==0.8.0
mkdocs-git-revision-date-localized-plugin==1.2.4
mkdocs-git-committers-plugin-2==2.2.3
mkdocs-git-committers-plugin-2==2.3.0
lunr==0.7.0.post1

0 comments on commit 7c9d668

Please sign in to comment.