Skip to content

Commit

Permalink
Merge pull request #5434 from psafont/bad-dog
Browse files Browse the repository at this point in the history
  • Loading branch information
psafont authored Feb 6, 2024
2 parents b7515cc + 3e18b3a commit 4e0a1e1
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -134,7 +134,7 @@ jobs:
sudo chown "$(id -u):$(id -g)" "${TMPDIR}" "${XDG_CACHE_HOME}"
echo "TMPDIR=${TMPDIR}" >>"$GITHUB_ENV"
echo "XDG_CACHE_HOME=${XDG_CACHE_HOME}" >>"$GITHUB_ENV"
- name: Use ocaml
uses: ocaml/setup-ocaml@v2
with:
Expand Down Expand Up @@ -201,9 +201,6 @@ jobs:
- name: quality-gate
run: make quality-gate

- uses: reviewdog/action-actionlint@v1
name: GitHub Action linter from https://github.com/reviewdog/action-actionlint

- name: pyflakes
uses: reviewdog/action-pyflakes@master
with:
Expand Down

0 comments on commit 4e0a1e1

Please sign in to comment.