diff options
| author | Santo Cariotti <santo@dcariotti.me> | 2025-09-04 12:09:00 +0000 |
|---|---|---|
| committer | Santo Cariotti <santo@dcariotti.me> | 2025-09-04 12:09:00 +0000 |
| commit | 42518b55cf65abbb048a2771ce0c173fa035bf33 (patch) | |
| tree | 052d8b314e8e883210f1a7eee440231c8a63a507 /.github/workflows | |
| parent | bc89fb1bfc39276abb029c0774567dce18ee6666 (diff) | |
Use levels, not leaves, to increase speed of proofing
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions