Compare commits

...

5 Commits

Author SHA1 Message Date
anita-that-chiq f2bb9740e5
Merge f92b82fcc8 into 3e5b5a51d1 2024-11-19 21:22:55 +00:00
Leithen 3e5b5a51d1
Skip check if file is not .yml or .md (#11760) 2024-11-19 16:22:42 -05:00
anita-that-chiq f92b82fcc8 Remove format options 2024-10-21 12:54:02 +03:00
anita-that-chiq d419cb44f6 Remove format options 2024-10-21 01:51:38 +03:00
anita-that-chiq 73fa89797d Add license to three books 2024-10-21 01:39:16 +03:00
2 changed files with 6 additions and 2 deletions

View File

@ -74,14 +74,17 @@ jobs:
fail-fast: false fail-fast: false
steps: steps:
- name: Checkout - name: Checkout
if: ${{ endsWith(matrix.file, '.yml') || endsWith(matrix.file, '.md') }}
uses: actions/checkout@v4 uses: actions/checkout@v4
with: with:
fetch-depth: ${{ needs.get-changed-files.outputs.fetch-depth }} fetch-depth: ${{ needs.get-changed-files.outputs.fetch-depth }}
- name: Setup Ruby v2.6 - name: Setup Ruby v2.6
if: ${{ endsWith(matrix.file, '.yml') || endsWith(matrix.file, '.md') }}
uses: ruby/setup-ruby@v1 uses: ruby/setup-ruby@v1
with: with:
ruby-version: 2.6 ruby-version: 2.6
- name: Install awesome_bot - name: Install awesome_bot
if: ${{ endsWith(matrix.file, '.yml') || endsWith(matrix.file, '.md') }}
run: | run: |
gem install awesome_bot gem install awesome_bot
- name: Set output - name: Set output
@ -101,6 +104,7 @@ jobs:
echo "FILEPATH=${file_path}" >> "$GITHUB_OUTPUT" echo "FILEPATH=${file_path}" >> "$GITHUB_OUTPUT"
- name: "Check URLs of file: ${{ matrix.file }}" - name: "Check URLs of file: ${{ matrix.file }}"
if: ${{ endsWith(matrix.file, '.yml') || endsWith(matrix.file, '.md') }}
run: | run: |
awesome_bot "${{ matrix.file }}" --allow-redirect --allow-dupe --allow-ssl || true; awesome_bot "${{ matrix.file }}" --allow-redirect --allow-dupe --allow-ssl || true;
- uses: actions/upload-artifact@v4 - uses: actions/upload-artifact@v4

View File

@ -247,7 +247,7 @@ Books on general-purpose programming that don't focus on a specific language are
* [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF) * [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF)
* [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html) * [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html)
* [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html) * [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html)
* [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html) * [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html) (LGPL)
### Agda ### Agda
@ -372,7 +372,7 @@ Books on general-purpose programming that don't focus on a specific language are
### Autotools ### Autotools
* [Autotools Mythbuster](https://autotools.io/index.html) * [Autotools Mythbuster](https://autotools.io/index.html)- Diego Elio “Flameeyes” Pettenò (CC BY-NC-SA)
* [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/) * [GNU Autoconf, Automake and Libtool](http://sourceware.org/autobook/)