Repository navigation

fix(formal): memory_safety nearly Qed — Ltac handles most cases #165

	# SPDX-License-Identifier: PMPL-1.0-or-later
	name: CodeQL Security Analysis

	on:
	push:
	branches: [main, master]
	pull_request:
	branches: [main, master]
	schedule:
	- cron: '0 6 * * 1'

	permissions:
	contents: read

	jobs:
	analyze:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	security-events: write
	strategy:
	fail-fast: false
	matrix:
	include:
	- language: javascript-typescript
	build-mode: none

	steps:
	- name: Checkout
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

	- name: Initialize CodeQL
	uses: github/codeql-action/init@0d579ffd059c29b07949a3cce3983f0780820c98 # v3.28.1
	with:
	languages: ${{ matrix.language }}
	build-mode: ${{ matrix.build-mode }}

	- name: Perform CodeQL Analysis
	uses: github/codeql-action/analyze@0d579ffd059c29b07949a3cce3983f0780820c98 # v3.28.1
	with:
	category: "/language:${{ matrix.language }}"