| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-04-07 | Added build to start of patch checklist. | Dan Rostovtsev | |
| Change-Id: I4e3ad9f361ef44a205e8207b112cf938398e35d1 | |||
| 2026-04-07 | Added build-and-diff.scm to debug the determinism of builds. | Dan Rostovtsev | |
| Change-Id: Ia280c5517df7a1226f473001351c5fd2e754128e | |||
| 2026-04-07 | First contribution: up to checking non-determinism in build. | Dan Rostovtsev | |
| * doc/contributing.texi: Notes on a dev env with manifest.scm. * gnu/packages/rocq.scm: Styling and linting. * manifest.scm: Adding fontconfig for build in dev env. * patch-checklist.bash: Script to run checks in contribution guidelines. Change-Id: I29366066947bc30040f591b9f4fdc21fdf277adc | |||
