George HotzandGitHub 4c984bba7e bump version to 0.8.0, clean CI, remove requests (#2545) ...

* bump version to 0.8.0, clean CI, remove requests

* why was that even there

2023-12-01 10:42:50 -08:00

..

workflows

bump version to 0.8.0, clean CI, remove requests (#2545)

2023-12-01 10:42:50 -08:00