Skip to content

try to allow jmh benchmarks to be cached for faster ci runs #3325

try to allow jmh benchmarks to be cached for faster ci runs

try to allow jmh benchmarks to be cached for faster ci runs #3325

Workflow file for this run

name: DevSkim
permissions: read-all
on:
push:
branches: [master, v2.dev, v3.dev]
pull_request:
branches: [master, v2.dev, v3.dev]
schedule:
- cron: '40 22 * * 0'
jobs:
lint:
name: DevSkim
runs-on: ubuntu-20.04
permissions:
actions: read
contents: read
security-events: write
steps:
- name: Harden Runner
uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
with:
disable-sudo: true
egress-policy: block
allowed-endpoints: >
api.github.com:443
github.com:443
- name: Checkout code
uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
- name: Run DevSkim scanner
uses: microsoft/DevSkim-Action@914fa647b406c387000300b2f09bb28691be2b6d # v1.0.14
- name: Upload DevSkim scan results to GitHub Security tab
uses: github/codeql-action/upload-sarif@f779452ac5af1c261dce0346a8f964149f49322b # v3.26.13
with:
sarif_file: devskim-results.sarif