Detect changes to header SHAs

[Merged by Bors] - feat: port GroupTheory.Schreier #11214

Sign in to view logs

Triggered via pull request June 5, 2023 20:11

tb65536

opened #4706

port/GroupTheory.Schreier

Status Success

Total duration 40s

Artifacts –

detect_sha_changes.yml

on: pull_request

Add annotations