search

sat-heritage / docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
MIT License
38 stars 3 forks source link

Action: build random images regularly #15

Closed pauleve closed 3 years ago

pauleve commented 3 years ago

Add an action which builds a handset of random images every X days