deps: Bump the fsharp-and-tooling group with 3 updates

a843efc

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

dynamic on: dynamic 4

submit-nuget

mirror-to-fork on: push

mirror

gate on: pull_request 30

matrix setup

path filter

lint (semgrep)

lint (yaml/k8s)

lint (shellcheck)

lint (bash retirement inventory + hygiene unit tests)

lint (actionlint)

lint (tick-history order)

lint (no conflict markers)

lint (archive header §33)

lint (§33 migration xrefs)

lint (tick-shard relative-paths)

lint (structural hygiene)

lint (no empty dirs)

lint (markdownlint)

lint (TS)

lint (F#)

lint (C#)

lint (Go)

lint (Python)

lint (Rust)

cross-verify (trust-core oracles + ace suite)

build-and-test (ubuntu-24.04)

build-and-test (ubuntu-24.04-arm)

build-and-test (macos-26)

full-verify (7-lang oracle + cost + proofs)

gate (required)

CodeQL on: pull_request 1

Path gate

Analyze (actions)

Analyze (csharp)

Analyze (java-kotlin)

Analyze (python)

Analyze (javascript-typescript)

agent-reviewer on: pull_request

cross-verify flush PR

Code scanning results

CodeQL

pr-archive-on-merge on: pull_request

archive

GitHub Advanced Security / CodeQL completed Aug 1, 2026 in 3s

Error when processing the SARIF file

View all branch alerts.

Loading

Re-running checks...