Commit graph

Select branches

Hide pull requests

master

#1

#2

#3

Mono Color

• 49076888de
  
  Split the Rocq installation. master Cesar Strauss 2026-01-01 11:53:59 -03:00
• 17bd387064
  
  Reduce image size by cleaning opam cache. Cesar Strauss 2026-01-01 10:36:26 -03:00
• 117d2cfcdf
  
  Add Rocq to the installed dependencies. Cesar Strauss 2025-12-28 19:12:41 -03:00
• bcc2656f24
  
  build devices xc7a35tcsg324-1 and xc7a100tcsg324-1 Jacob Lifshay 2025-10-14 03:15:46 -07:00
• f01d2667bf
  
  use skopeo for pushing to forgejo Jacob Lifshay 2025-10-13 23:20:09 -07:00
• a506aa49a4
  
  build container with all of fayalite's dependencies Jacob Lifshay 2025-10-11 23:53:05 -07:00