On Push

fix miktex in workflow and install noto #10

Sign in to view logs

Summary
Jobs
- Build
- Build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Push (x64, windows-2022) / Build	32s
Push (x86, windows-2022) / Build	31s
	1m 3s