Spec Deployment

Added Yehonatan and myself as editors and moved the others to former … #3320

Sign in to view logs

Summary
Jobs
- build-specs
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-specs	8m 44s
	8m 44s