fix: shut down instance after workflow finishes#293

Closed

abanuelo wants to merge 9 commits intomainfrom abanuelo/update-sim-workflow-to-shutdown

+1

Commits on May 9, 2024

fix: Adding modifications to codecov.yml

Armando Banuelos
authored and
Armando Banuelos
committed

Commits on May 16, 2024

resolving merge conflicts with codecov.yml file

Armando Banuelos
authored and
Armando Banuelos
committed

Commits on May 22, 2024

Merge branch 'main' of github.com:BerkeleyLearnVerify/Scenic

Armando Banuelos
authored and
Armando Banuelos
committed
Merge branch 'main' of github.com:BerkeleyLearnVerify/Scenic

Armando Banuelos
authored and
Armando Banuelos
committed

Commits on Jun 25, 2024

Merge branch 'main' of github.com:BerkeleyLearnVerify/Scenic
abanuelo
committed

Commits on Jul 10, 2024

Merge branch 'main' of github.com:BerkeleyLearnVerify/Scenic
abanuelo
committed

Commits on Jul 12, 2024

Merge branch 'main' of github.com:BerkeleyLearnVerify/Scenic
abanuelo
committed

Commits on Jul 16, 2024