| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | aux/{workflow/repocheck,ci/ci-build}.sh: Stop redundantly building "public" ↵ | EuAndreh | 2022-01-22 | 1 | -2/+2 |
| | | | | | target | ||||
| * | aux/workflow/repocheck.sh: Indent output | EuAndreh | 2022-01-21 | 1 | -2/+6 |
| | | |||||
| * | aux/workflow/repocheck.sh: Add more duplicates in check for idempotency | EuAndreh | 2022-01-19 | 1 | -0/+4 |
| | | |||||
| * | aux/workflow/repocheck.sh: Run dev-check, adapt scripts that depend on Git repo | EuAndreh | 2021-08-20 | 1 | -2/+3 |
| | | |||||
| * | aux/workflow/repocheck.sh: Add, supersedes aux/workflow/installcheck.sh | EuAndreh | 2021-08-19 | 1 | -0/+183 |
| Implements - #task-079946ed-7e58-3051-78d6-71ba12342aba - #task-4a7e02bd-ab82-c628-fa1c-02749c178936 - #task-db34da8d-bf61-43ae-b8f0-f2299834a937 - #task-a0644009-70d7-56ff-c595-ea39fe24dc2b | |||||
 |
index : git-permalink | |
| Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
| aboutsummaryrefslogtreecommitdiff |