search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Add netlify environment variables to benchmark deployment action #1044

Closed VojtechStep closed 8 months ago

VojtechStep commented 8 months ago

This should enable deployments of the benchmarking website