Skip to content

Commit

Permalink
Remove dead pgo.sh file
Browse files Browse the repository at this point in the history 
This has been replaced by stage-build.py.
  • Loading branch information
@nikic
nikic committed Mar 2, 2023
1 parent 5983a3a commit e958198
Showing 1 changed file with 0 additions and 230 deletions.
230 changes: 0 additions & 230 deletions src/ci/pgo.sh
View file

This file was deleted.

0 comments on commit e958198

Please sign in to comment.