Detect changes to header SHAs

[Merged by Bors] - feat: port CategoryTheory.Adhesive #10869

Sign in to view logs

Triggered via pull request June 3, 2023 08:30

int-y1

synchronize #4622

port/CategoryTheory.Adhesive

Status Success

Total duration 43s

Artifacts –

detect_sha_changes.yml

on: pull_request

Add annotations