Skip to content

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

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

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

Triggered via push June 27, 2026 19:40
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/dogfood-gate.yml#L261
You have an error in your yaml syntax on line 261