Skip to content

Add some large refactorings to .git-blame-ignore-revs #752

Add some large refactorings to .git-blame-ignore-revs

Add some large refactorings to .git-blame-ignore-revs #752

Triggered via pull request November 4, 2024 10:13
Status Success
Total duration 43m 39s
Artifacts

hecke.yml

on: pull_request
generatematrix
47s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in