continuous integration (staging)

feat(Algebra/Order/Floor/Defs): add instances on `FloorSemiring` and … #22791

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (staging) / Lint style	2m 3s
ci (staging) / Build	55m 57s
ci (staging) / Upload to cache	1m 24s
ci (staging) / Post-Build Step	2m 37s
ci (staging) / Post-CI job	6s
	1h 2m 7s