8000 Merge branch 'main' into master · cp-algorithms/cp-algorithms@9a8fb58 · GitHub
[go: up one dir, main page]
Skip to content

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Commit 9a8fb58

Browse files
adamant-pwnadamant-pwn
authored
Merge branch 'main' into master
2 parents 28db91b + 455f9ee commit 9a8fb58

File tree

3 files changed

+3
-2
lines changed

3 files changed

+3
-2
lines changed

‎.github/workflows/build.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,7 @@ jobs:
2727
key: test-${{ github.event_name }}-github-users-v0.1
2828
- name: Build pages
2929
env:
30+
MKDOCS_GIT_COMMITTERS_BRANCH: ${{ github.ref_name }}
3031
MKDOCS_GIT_COMMITTERS_APIKEY: ${{ secrets.GITHUB_TOKEN }}
3132
MKDOCS_ENABLE_GIT_REVISION_DATE: ${{ secrets.GITHUB_TOKEN && 'True' || 'False' }}
3233
MKDOCS_ENABLE_GIT_COMMITTERS: ${{ secrets.GITHUB_TOKEN && 'True' || 'False' }}

‎.github/workflows/deploy-prod.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name: Deploy
33
on:
44
push:
55
branches:
6-
- 'main'
6+
- main
77
pull_request:
88

99
jobs:

‎mkdocs.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,7 @@ plugins:
7474
docs_path: src/
7575
token: !ENV MKDOCS_GIT_COMMITTERS_APIKEY
7676
enabled: !ENV [MKDOCS_ENABLE_GIT_COMMITTERS, False]
77-
branch: main
77+
branch: !ENV [MKDOCS_GIT_COMMITERS_BRANCH, main]
7878
- macros
7979
- rss
8080

0 commit comments

Comments
 (0)
0