Add missing header · gambitproject/gambit@2897111

Triggered via push January 7, 2026 10:50

tturocy

dev_visitor

Status Success

Total duration 10m 25s

Artifacts 1

tools.yml

on: push

Produced during runtime

Name	Size	Digest
artifact-msw Expired	185 MB	`sha256:20d1e1dc326c3fb7436fd5f4c099d6755a1bf0b959be16873b4e08b657df7a39`