Deploy to ping.pub

Merge pull request #498 from dckc/patch-3 #709

Sign in to view logs

Summary
Jobs
- Ping deploy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ping deploy	47s
	47s