mediawiki::php: disable jit #3276
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
name: Puppet Lint | |
on: | |
push: | |
branches: [ master ] | |
paths: | |
- '**.pp' | |
- '.github/**' | |
pull_request: | |
branches: [ master ] | |
paths: | |
- '**.pp' | |
- '.github/**' | |
jobs: | |
puppet-lint: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout | |
uses: actions/checkout@v4 | |
- name: puppet-lint | |
uses: scottbrenner/puppet-lint-action@master | |
with: | |
args: --no-80chars-check --no-140chars-check --no-puppet_url_without_modules-check --no-documentation-check --no-variable_scope-check --fix ./ --ignore-paths=.//modules/prometheus/manifests/jmx_exporter_config.pp | |
- name: Push the changes | |
continue-on-error: true | |
if: github.event_name == 'pull_request' | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
run: | | |
if ! git diff --exit-code --quiet; then | |
git config --global user.name "github-actions" | |
git config --global user.email "github-actions@users.noreply.github.com" | |
git remote set-url origin "https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" | |
git checkout -b ${GITHUB_HEAD_REF} | |
git add . | |
git commit -am "CI: lint puppet code to standards" -m "Check commit and GitHub actions for more details" | |
git pull origin ${GITHUB_HEAD_REF} --rebase | |
git push --set-upstream origin ${GITHUB_HEAD_REF} | |
else | |
echo "No changes to commit" | |
fi | |
notify-irc: | |
needs: puppet-lint | |
runs-on: ubuntu-latest | |
if: ${{ always() && github.repository_owner == 'miraheze' && ( github.ref == 'refs/heads/master' || github.event_name == 'pull_request' ) }} | |
steps: | |
- name: failed | |
uses: technote-space/workflow-conclusion-action@v3 | |
- uses: rectalogic/notify-irc@v2 | |
if: env.WORKFLOW_CONCLUSION == 'failure' | |
with: | |
channel: "#miraheze-tech-ops" | |
server: "irc.libera.chat" | |
nickname: miraheze-github | |
message: ${{ github.repository }} - ${{ github.actor }} the build has errored. | |
sasl_password: ${{ secrets.IRC_MIRAHEZEBOTS }} |