Bump @types/node from 25.2.0 to 25.2.3 #159

	# Copyright Kani Contributors
	# SPDX-License-Identifier: Apache-2.0 OR MIT
	name: "CodeQL"
	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	jobs:
	analyze:
	name: Analyze (${{ matrix.language }})
	runs-on: ubuntu-latest
	permissions:
	actions: read
	contents: read
	security-events: write

	strategy:
	fail-fast: false
	matrix:
	include:
	- language: actions
	build-mode: none
	- language: javascript-typescript
	build-mode: none
	- language: python
	build-mode: none

	steps:
	- name: Checkout
	uses: actions/checkout@v6

	# Initializes the CodeQL tools for scanning.
	- name: Initialize CodeQL
	uses: github/codeql-action/init@v4
	with:
	languages: ${{ matrix.language }}
	build-mode: ${{ matrix.build-mode }}
	# If you wish to specify custom queries, you can do so here or in a config file.
	# By default, queries listed here will override any specified in a config file.
	# Prefix the list here with "+" to use these queries and those in the config file.
	#
	# For more details on CodeQL's query packs, refer to: https://docs.github.com/en/code-security/code-scanning/automatically-scanning-your-code-for-vulnerabilities-and-errors/configuring-code-scanning#using-queries-in-ql-packs
	# queries: security-extended,security-and-quality

	- name: Perform CodeQL Analysis
	uses: github/codeql-action/analyze@v4

Provide feedback