Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/infection/playground
Infection Playground - online tool to try Infection right in your browser.
https://github.com/infection/playground
coverage infection mutant mutation mutation-analysis mutation-testing php testing
Last synced: 6 days ago
JSON representation
Infection Playground - online tool to try Infection right in your browser.
- Host: GitHub
- URL: https://github.com/infection/playground
- Owner: infection
- License: bsd-3-clause
- Created: 2024-03-10T17:17:51.000Z (8 months ago)
- Default Branch: master
- Last Pushed: 2024-03-10T17:29:14.000Z (8 months ago)
- Last Synced: 2024-04-14T08:41:35.051Z (7 months ago)
- Topics: coverage, infection, mutant, mutation, mutation-analysis, mutation-testing, php, testing
- Language: PHP
- Homepage: https://infection-php.dev
- Size: 15.9 MB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Infection Playground
This is a repository for Infection Playground, hosted here: https://infection-php.dev
### Infection - Mutation Testing Framework
Please read documentation here: [infection.github.io](http://infection.github.io)
Twitter: [@infection_php](http://twitter.com/infection_php)
### Developing
The project is fully dockerized, after cloning just run `docker compose up` and you are good to go.
Database can be setup up by `docker compose exec php make app-reinstall`.
### How to renew SSL certificate
Generate certificate
```bash
docker run -it --rm --name certbot \
-v "./secrets/certbot/www/:/var/www/certbot/" \
-v "./secrets/certbot/conf/:/etc/letsencrypt/" \
-v "./secrets/digitalocean-token.ini/:/secrets/digitalocean-token.ini" \
certbot/dns-digitalocean certonly --webroot --webroot-path /var/www/certbot/ --dry-run -d infection-php.dev --dns-digitalocean --dns-digitalocean-credentials /secrets/digitalocean-token.ini
```Renew
```bash
docker run -it --rm --name certbot \
-v "./secrets/certbot/www/:/var/www/certbot/" \
-v "./secrets/certbot/conf/:/etc/letsencrypt/" \
-v "./secrets/digitalocean-token.ini/:/secrets/digitalocean-token.ini" \
certbot/dns-digitalocean renew
```