Detect changes to header SHAs

[Merged by Bors] - feat: mark Data.Nat.PrimeNormNum as ported #9313

Sign in to view logs

Triggered via pull request May 23, 2023 04:27

opened #4253

port/Data.Nat.PrimeNormNum

Status Success

Total duration 25s

Artifacts –

detect_sha_changes.yml

on: pull_request

Add annotations