continuous integration (staging)

chore: make (x : M) implicit in `extChartAt_image_nhd_mem_nhds_of_bou… #6333

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	8s
Cancel Previous Runs (CI)	5s
check workflows	10s
Lint style	22s
Build	30m 26s
Post-CI job	12s
	31m 23s