[devel]: fix: make sure `head` can be used in `DeepPot` (#4312) #10

Sign in to view logs

Summary
Jobs
- prebuild
Run details
- Usage

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prebuild	14m 46s
	14m 46s