search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Automate tests and bottle creation on brew release #91

Closed ronakfof closed 2 years ago

ronakfof commented 2 years ago

This workflow can be used to bump formula and generate bottles for any Formula in any Tap and upload to the main repository.

Description of changes: On release, we create a pull request to bump brew formula to release version. With this PR, we checkout that pull request and run -

  1. Syntax Check
  2. Test installation
  3. Create bottle
  4. Test installation from bottle
  5. Test uninstallation
  6. Run test in formula
  7. Add commit on top of PR to add generate DSL(bottle stanzas) to formula

SAMPLE RUN Workflow run Release Pull Request to Tap

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.