search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

Fix the github workflow for adding to projects #1129

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Pending Galois IT to create a project within the team.

rtadros125 commented 3 years ago

Done on fix-automatic-issues. AC is: