Update litani to version 1.6.0 and starter kit to tip of tree
Issue #, if available:
Description of changes:
Update litani to version 1.6.0 and starter kit to tip of tree. This allows the Proof CI to take advantage of new Litani features and update the link to the Report Dashboard incrementally during proof runs rather than only at the end.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Update litani to version 1.6.0 and starter kit to tip of tree
Issue #, if available:
Description of changes: Update litani to version 1.6.0 and starter kit to tip of tree. This allows the Proof CI to take advantage of new Litani features and update the link to the Report Dashboard incrementally during proof runs rather than only at the end.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.