1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-03 07:10:04 -04:00

Small CI improvements (#7563)

This commit is contained in:
Emil Ernerfeldt
2025-09-26 09:39:42 +02:00
committed by GitHub
parent b69bab73e1
commit 472437a510
4 changed files with 11 additions and 11 deletions

View File

@@ -14,7 +14,7 @@ jobs:
uses: actions/checkout@v4
- name: Check spelling of entire workspace
uses: crate-ci/typos@master
uses: crate-ci/typos@v1.36.3
lychee:
name: lychee