continuous integration (staging)

chore(Data/Finsupp): make `mapDomain_congr` congr (#39575) #25321

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (staging) / Build	5m 26s
ci (staging) / Lint style	2m 20s
ci (staging) / Upload to cache	1m 0s
ci (staging) / Test and lint	5m 47s
ci (staging) / Post-Build Step	5m 19s
ci (staging) / Post-CI job	7s
	19m 59s