This repository has been archived by the owner on Nov 28, 2023. It is now read-only.

safety

Move checkboxes to a template #44

Sign in to view logs

Summary
Jobs
- sanitizers
- miri
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sanitizers	3m 26s
miri	1m 26s
	4m 52s