Point dev Portal to the Target branch "dev-portal" in order to test/reproduce reset button error

GaloisInc / BESSPIN-FETT-Portal

The web-based portal used by FETT Researchers to manage Target instances.

Apache License 2.0

0 stars 0 forks source link

Closed andrew-bivin closed 4 years ago

andrew-bivin commented 4 years ago

@rtadros-Galois please post the debug branch you create here

mattlebeau-galois commented 4 years ago

~1 hour to repoint,

rtadros125 commented 4 years ago

The branch is dev-portal.

andrew-bivin commented 4 years ago

Closing as complete/workflow is well-known now