Code

chore: gif cleanup for pytests#285

Code

Merged

abanuelo merged 6 commits intomainBerkeleyLearnVerify/Scenic:mainfrom abanuelo/gif-cleanupBerkeleyLearnVerify/Scenic:abanuelo/gif-cleanupCopy head branch name to clipboardJul 5, 2024

+3

Commits

Commits on May 9, 2024

• fix: Adding modifications to codecov.yml

  

  Armando Banuelos

  authored and

  Armando Banuelos

  committed
  5e543ec

  Copy full SHA for 5e543ec

Commits on May 16, 2024

• resolving merge conflicts with codecov.yml file

  

  Armando Banuelos

  authored and

  Armando Banuelos

  committed
  50326f6

  Copy full SHA for 50326f6

Commits on May 22, 2024

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

  

  Armando Banuelos

  authored and

  Armando Banuelos

  committed
  31bd71c

  Copy full SHA for 31bd71c

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

  

  Armando Banuelos

  authored and

  Armando Banuelos

  committed
  437463a

  Copy full SHA for 437463a

Commits on Jun 25, 2024

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

  abanuelo

  committed
  ef3f6a0

  Copy full SHA for ef3f6a0

Commits on Jun 26, 2024

• chore: add cleanup to simulator.gif for pytests

  abanuelo

  committed
  1d14751

  Copy full SHA for 1d14751