CodeQL Security Analysis

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) #123

Sign in to view logs

Triggered via push June 27, 2026 19:46

main

Status Success

Total duration 42s

Artifacts –

codeql.yml

on: push

Matrix: analyze