aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainaux/: Update filesEuAndreh4 months
 
 
AgeCommit messageAuthorFilesLines
2021-06-12aux/: Update filesHEADmainEuAndreh6-83/+89
2021-03-23aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when...EuAndreh1-7/+1
2021-03-10Revert change to aux/ci/ci-build.shEuAndreh1-1/+1
2021-03-09ci-build.sh: Publish CI logs even when "dev-check" failsEuAndreh1-1/+1
2021-03-08Remove xargs -0 flag usageEuAndreh1-2/+2
2021-03-06ci-build.sh: Also omit output of second rsyncEuAndreh1-1/+1
2021-03-06Suppress rsync stderr from CI logsEuAndreh1-1/+1
2021-03-06Update files under aux/EuAndreh3-12/+6
2021-02-21Update aux/ filesEuAndreh1-0/+1
2021-02-19Add aux/ci/report.shEuAndreh3-7/+90
[...]