continuous integration (staging)

chore: `Nat.mod_succ` (#9031) #5715

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	6s
Lint style	22s
Build	1h 9m 28s
Check all files imported	15s
check workflows	6s
Post-CI job	7s
	1h 10m 24s