Skip to content
Detect changes to header SHAs

[Merged by Bors] - feat: port ModelTheory.Substructures #7819

Sign in to view logs

[Merged by Bors] - feat: port ModelTheory.Substructures

[Merged by Bors] - feat: port ModelTheory.Substructures #7819

Triggered via pull request May 12, 2023 15:49
@ChrisHughes24ChrisHughes24
synchronize #3913
port/ModelTheory.Substructures
Status Success
Total duration 28s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
18s
Add annotations
Fit to window
Zoom out
Zoom in