Lint

Took into account the case where, in synthese, we can export less tha… #8535

Sign in to view logs

Summary
Jobs
- backend
- frontend
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
frontend	47s
backend	25s
	1m 12s