Delete the deprecated p/ directory (#318) #234

Sign in to view logs

Summary
Jobs
- sources
- linux
- w64
- w32
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux	17s
sources	9s
w32	1m 3s
w64	1m 3s
	2m 32s