Skip to content
.github/workflows/doc.yml

Update cats-effect to 3.5.2 #31

Sign in to view logs

Update cats-effect to 3.5.2

Update cats-effect to 3.5.2 #31

Workflow file for this run

.github/workflows/doc.yml at 94110a1
on:
pull_request_target:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
jobs:
show_doc_diff:
timeout-minutes: 30
runs-on: ubuntu-latest
permissions:
pull-requests: write
contents: read
steps:
- uses: actions/setup-java@0ab4596768b603586c0de567f2430c30f5b0d2b0 # v3.13.0
with:
java-version: 8
distribution: temurin
- uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608 # v4.1.0
with:
ref: ${{ github.event.pull_request.head.sha }}
- name: Install pandoc
run: ./.github/install_pandoc.sh
- uses: coursier/cache-action@d1039466d0812d6370649b9afb02bbf5f646bacf # v6.4.3
- name: Generate html
run: ./.github/gen_doc.sh
- uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608 # v4.1.0
with:
ref: gh-pages
path: gh-pages
- run: |
cp -r target/specs2-reports/site/* gh-pages/
pushd gh-pages
git checkout -- javascript
git diff > diff.txt
wc -l diff.txt
popd
- uses: actions/github-script@v6
with:
script: |
const fs = require('fs');
const diff = fs.readFileSync("gh-pages/diff.txt").toString();
if (diff.length === 0) {
console.log("no diff");
} else {
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: "```diff\n" + diff + "\n```"
});
}