GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

github: disable ticket-management workflow #399

Closed thebendavis closed 2 months ago

thebendavis commented 2 months ago

This workflow was automating issues related to a project board that has been closed, so is no longer needed.

Additionally, the type of project boards supported by the action used in this workflow are now considered "classic" by GitHub and can no longer be created.

https://github.com/alex-page/github-project-automation-plus/issues/93#issuecomment-2134136819