CI

Merge pull request #1739 from jackh726/types-agenda #4721

Sign in to view logs

Summary
Jobs
- Rustfmt
- CI
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	11s
CI	5m 17s
	5m 28s