aboutsummaryrefslogtreecommitdiff
path: root/aux (unfollow)
Commit message (Expand)AuthorFilesLines
2021-03-07TODOs.sh: Remove unused SED_REGEX variableEuAndreh1-2/+0
2021-03-07TODOs.sh: Use sed to remove dependency on gettextEuAndreh2-12/+16
2021-03-07assert-todos.sh: Remove reference to inexistant docbook-xsl/ directoryEuAndreh1-1/+1
2021-03-06ci-build.sh: Also omit output of second rsyncEuAndreh1-1/+1
2021-03-06README.sh: Remove suffix from Git repo linkEuAndreh1-1/+1
2021-03-06Suppress rsync stderr from CI logsEuAndreh1-1/+1
2021-03-06Update files under aux/EuAndreh1-0/+5
2021-02-28manifest.scm: Add graphviz packageEuAndreh1-1/+2
2021-02-28Update files under aux/EuAndreh3-5/+16
2021-02-28Update files under aux/EuAndreh3-2/+22
2021-02-25Update aux/workflow/dist.shEuAndreh1-5/+11
2021-02-25Update files under aux/ci/EuAndreh2-3/+3
2021-02-24aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case of...EuAndreh1-1/+1
2021-02-23aux/guix/pinned-channels.scm: Use %default-channelsEuAndreh1-10/+2
2021-02-23aux/ci/ci-build.sh: Capture stderr properlyEuAndreh1-1/+1
2021-02-23aux/ci/ci-build.sh: Remove guix describeEuAndreh1-1/+0
2021-02-23aux/ci/ci-build.sh: Fix typoEuAndreh1-1/+1
2021-02-23Update aux/ci/ci-build.shEuAndreh1-7/+2
2021-02-22manifest.scm: Add nixfmt packageEuAndreh1-1/+2
2021-02-22Update aux/guix/ and aux/workflow/EuAndreh9-11/+85
2021-02-22Update aux/guix/pinned-channels.scm, use nixfmt over ghc-nixfmtEuAndreh2-2/+2
2021-02-21Update ci-build.shEuAndreh1-0/+1
2021-02-21aux/guix/: Remove channel self reference, nixfmt is upstreamEuAndreh2-11/+2
2021-02-18Add aux/ci/report.shEuAndreh2-4/+81
2021-02-14Change Git addressEuAndreh1-1/+1
2021-02-13Update ci-build.sh under aux/EuAndreh1-1/+1
2021-02-09with-container.sh: Default run without arguments to non-containerized environ...EuAndreh1-3/+3
2021-02-09Add self-referential channel to pinned-channels.scm for running nixfmt on CIEuAndreh2-1/+12
2021-02-08Add aux/ default filesEuAndreh13-0/+308
generated by cgit v1.3 (git 2.53.0) at 2026-10-20 18:29:36 +0000