Remove GitHub workflow metadata
ober
5f856bf608323c2df734c9d1d892984edaedd729
deleted file mode 100644 --- a/.github/workflows/ci.yml +++ /dev/null @@ -1,28 +0,0 @@ -name: CI - -on: - push: - branches: [main, master] - pull_request: - workflow_dispatch: - -permissions: - contents: read - -jobs: - verify: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 - - - name: Install build tools - run: sudo apt-get update && sudo apt-get install -y build-essential curl ca-certificates openssh-client ripgrep - - - name: Install jerbuild - run: support/install-verified-jerbuild.sh /usr/local/bin/jerbuild - - - name: Verify - run: make verify - - - name: Release evidence - run: make release-evidence deleted file mode 100644 --- a/.github/workflows/security-baseline.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Security Baseline - -on: - push: - branches: [main, master] - pull_request: - workflow_dispatch: - -permissions: - contents: read - -jobs: - baseline: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 - - - name: Install scanner tools - run: sudo apt-get update && sudo apt-get install -y ripgrep - - - name: Security baseline - run: scripts/security-check.sh