continuous integration (mathlib forks)

feat(Translate): command for adding a translation #327142

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (fork) / Build	1h 16m 1s
ci (fork) / Lint style	2m 2s
ci (fork) / Upload to cache	2m 34s
ci (fork) / Test and lint	19m 19s
ci (fork) / Post-Build Step	7m 12s
ci (fork) / Post-CI job	4s
	1h 47m 12s