CI

Merge pull request #1535 from ehuss/march-2025-council-repr #3720

Sign in to view logs

Summary
Jobs
- lint
- build
- deploy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	22s
lint	17s
deploy	18s
	57s