@@ -296,27 +296,34 @@ jobs:
296296 cosmic-ray init cosmic-ray.toml session-vs-master.sqlite
297297 git branch master origin/master
298298 cr-filter-git --config cosmic-ray.toml session-vs-master.sqlite
299- cr-report session-vs-master.sqlite | tail -n 5
299+ cr-report session-vs-master.sqlite | tail -n 3
300300 - name : Exec mutation testing for PR
301301 if : ${{ matrix.mutation == 'true' && github.event.pull_request }}
302302 run : |
303- systemd-run --user --scope -p MemoryMax=2G -p MemoryHigh=2G cosmic-ray exec cosmic-ray.toml session-vs-master.sqlite &
303+ systemd-run --user --scope -p MemoryMax=2G -p MemoryHigh=2G cosmic-ray --verbosity INFO exec cosmic-ray.toml session-vs-master.sqlite &
304304 cosmic_pid=$!
305- for i in $(seq 1 10); do
306- echo $i
307- for j in $(seq 1 60); do
308- echo -n .
309- sleep 1
310- done
311- done
305+ sleep 120
312306 kill $cosmic_pid
313307 wait $cosmic_pid || true
314308 - name : Check test coverage for PR
315309 if : ${{ matrix.mutation == 'true' && github.event.pull_request }}
316310 run : |
317311 # remove not-executed results
318312 sqlite3 session-vs-master.sqlite "DELETE from work_results WHERE work_results.worker_outcome = 'SKIPPED'"
319- cr-report session-vs-master.sqlite | tail -n 5
313+ cr-report session-vs-master.sqlite | tail -n 3
314+ - name : Generate html report
315+ if : ${{ matrix.mutation == 'true' && github.event.pull_request }}
316+ run : |
317+ cr-html session-vs-master.sqlite > cosmic-ray.html
318+ - name : Archive mutation testing results
319+ if : ${{ matrix.mutation == 'true' && github.event.pull_request }}
320+ uses : actions/upload-artifact@v3
321+ with :
322+ name : mutation-PR-coverage-report
323+ path : cosmic-ray.html
324+ - name : Check test coverage for PR
325+ if : ${{ matrix.mutation == 'true' && github.event.pull_request }}
326+ run : |
320327 # check if executed have at most 15% survival rate
321328 cr-rate --estimate --confidence 99.9 --fail-over 15 session-vs-master.sqlite
322329 - name : instrumental test coverage on PR
0 commit comments