Skip to content

Commit

Permalink
Disable codeql
Browse files Browse the repository at this point in the history
  • Loading branch information
coldav committed Jan 8, 2025
1 parent 0ed8646 commit 555fdf2
Show file tree
Hide file tree
Showing 2 changed files with 21 additions and 20 deletions.
28 changes: 14 additions & 14 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,20 +4,20 @@ on:
push:
branches:
- main
pull_request:
branches:
- main
paths:
- 'source/**'
- 'clik/**'
- 'modules/**'
- 'examples/**'
- 'cmake/**'
- 'hal/**'
- '.github/actions/do_build_ock/**'
- '.github/actions/setup_build/**'
- '.github/workflows/codeql.yml'
- 'CMakeLists.txt'
# pull_request:
# branches:
# - main
# paths:
# - 'source/**'
# - 'clik/**'
# - 'modules/**'
# - 'examples/**'
# - 'cmake/**'
# - 'hal/**'
# - '.github/actions/do_build_ock/**'
# - '.github/actions/setup_build/**'
# - '.github/workflows/codeql.yml'
# - 'CMakeLists.txt'
schedule:
- cron: '19 9 * * 3'

Expand Down
13 changes: 7 additions & 6 deletions .github/workflows/run_pr_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,13 +42,14 @@ jobs:
llvm_version: 18
llvm_build_type: RelAssert
save: ${{ inputs.update_cache }}
cache_suffix: ${{ github.jobs[github.job].name }}
cache_suffix: build_run_host_x86_64
# TODO GET JOB NAME FROM GITHUB ${{ github.jobs[github.job].name }} does not work

# # These need to match the configurations of build_pr_cache to use the cache effectively
# - name: build host x86_64 online release
# uses: ./.github/actions/do_build_ock
# with:
# build_type: Release
# These need to match the configurations of build_pr_cache to use the cache effectively
- name: build host x86_64 online release
uses: ./.github/actions/do_build_ock
with:
build_type: Release

# - name: run just online lit
# run:
Expand Down

0 comments on commit 555fdf2

Please sign in to comment.