-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #505 from FWDekker/modern-dokka
Modern Dokka
- Loading branch information
Showing
7 changed files
with
123 additions
and
24 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
../../src/main/resources/icons/randomness.svg |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,19 @@ | ||
# Security policy | ||
The security of Randomness is important to me. | ||
If you find a vulnerability in Randomness, please | ||
[report the vulnerability](https://github.com/FWDekker/mommy/security/advisories/new) as soon as possible. | ||
|
||
Please note that Randomness is distinct from IntelliJ and other IDEs developed by JetBrains. | ||
To report a vulnerability in IntelliJ or another JetBrains product, please | ||
[check JetBrains' security policy](https://www.jetbrains.com/privacy-security/). | ||
|
||
## Supported versions | ||
Only the [latest version](https://github.com/FWDekker/intellij-randomness/releases/latest) is ever supported and | ||
supplied with security patches. | ||
Only the [latest version of Randomness](https://github.com/FWDekker/intellij-randomness/releases/latest) is ever | ||
supported and supplied with security patches. | ||
|
||
## Reporting a vulnerability | ||
To report a security vulnerability, email `[email protected]` instead of using the issue tracker. | ||
To report a vulnerability in Randomness, please use | ||
[GitHub's vulnerability reporting feature](https://github.com/FWDekker/mommy/security/advisories/new). | ||
You will be contacted as soon as possible. | ||
You will be thanked publicly for reporting the vulnerability, unless you indicate that you prefer to be thanked | ||
anonymously. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,59 @@ | ||
name: CD | ||
|
||
on: | ||
release: | ||
types: [ published ] | ||
workflow_dispatch: | ||
|
||
jobs: | ||
build-pages: | ||
runs-on: ubuntu-latest | ||
|
||
steps: | ||
- name: Checkout Randomness source code | ||
uses: actions/checkout@v4 | ||
with: | ||
ref: main | ||
path: main | ||
- name: Checkout Randomness pages | ||
uses: actions/checkout@v4 | ||
with: | ||
ref: gh-pages | ||
path: gh-pages | ||
# Required to push updated documentation to repository | ||
token: ${{ secrets.personal_access_token }} | ||
|
||
- name: Set up Java | ||
uses: actions/setup-java@v4 | ||
with: | ||
distribution: 'temurin' | ||
java-version: '17' | ||
- name: Set up Gradle | ||
uses: gradle/gradle-build-action@v2 | ||
with: | ||
build-root-directory: main/ | ||
generate-job-summary: false | ||
|
||
- name: Extract version number | ||
working-directory: main/ | ||
run: echo "RANDOMNESS_VERSION=v$(cat gradle.properties | grep '^version=' | sed 's/^.*=//')" >> $GITHUB_ENV | ||
|
||
- name: Generate new documentation | ||
working-directory: main/ | ||
run: ./gradlew dokkaHtml -Pdokka.pagesDir="${{ github.workspace }}/gh-pages/" | ||
|
||
- name: Move new documentation into gh-pages | ||
run: | | ||
rm -rf gh-pages/* | ||
mv main/build/dokka/html/* gh-pages/ | ||
rm -rf gh-pages/older/**/.git | ||
- name: Push new documentation | ||
working-directory: gh-pages/ | ||
run: | | ||
git config --global user.name "FWDekkerBot" | ||
git config --global user.email "[email protected]" | ||
git add --all | ||
git commit -m "Update for ${RANDOMNESS_VERSION}" | ||
git push origin gh-pages |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters