 Dhruvin Gandhi
|
b526c9f3a2
ci: remove build failure trigger
|
2 年之前 |
|
Dhruvin Gandhi
|
9c375b7531
ci: add -o pipefail to pull task
|
2 年之前 |
|
Dhruvin Gandhi
|
da3ca55c18
ci: log guix pull errors
|
2 年之前 |
|
Dhruvin Gandhi
|
548e2a60ac
ci: simplify pull
|
2 年之前 |
 (
|
9f115e5513
.build.yml: Actually fix CI.
|
2 年之前 |
|
(
|
4db0896b29
.build.yml: Fix pull failure.
|
2 年之前 |
|
Dhruvin Gandhi
|
498c353479
ci: make pull task mandatory
|
2 年之前 |
|
Dhruvin Gandhi
|
648b85a5a9
ci: use hut
|
2 年之前 |
|
Dhruvin Gandhi
|
7a4154163d
ci: notify dhruvin about build failures
|
2 年之前 |
|
Dhruvin Gandhi
|
d0d3cf4a04
ci: remove doug dependency
|
2 年之前 |
|
Dhruvin Gandhi
|
497ba69f71
fix(ci): fix guard task
|
2 年之前 |
|
Dhruvin Gandhi
|
ba8625b0a7
ci: remove lint task
|
2 年之前 |
|
(unmatched-parenthesis
|
1bf531c608
[revert ci] don't pull before testing, it won't affect anything as far as i can tell
|
2 年之前 |
|
(unmatched-parenthesis
|
6a8a4a7bf8
[ci] pull before installing required packages
|
2 年之前 |
|
(unmatched-parenthesis
|
d13a6b5c8e
[ci] pull before testing so that we don't have problems with an outdated `guix' channel
|
2 年之前 |
|
Dhruvin Gandhi
|
be1eb113ec
ci: fix `git branch --show-current` issue
|
2 年之前 |
|
Dhruvin Gandhi
|
b43f1fd8e5
ci: work around `git branch --show-current` issue
|
2 年之前 |
|
Dhruvin Gandhi
|
121ebf0c3b
ci: verify that guix pull works with latest commit
|
2 年之前 |
|
Dhruvin Gandhi
|
07d081a2f6
ci: run publish only for the master branch
|
2 年之前 |
|
Dhruvin Gandhi
|
e5283f49dc
ci: Lint guixrus packages only
|
2 年之前 |
|
Dhruvin Gandhi
|
e7553f510b
ci: disable linting temporarily
|
2 年之前 |
|
Dhruvin Gandhi
|
4804864357
ci: Add .build.yml with lint and publish tasks
|
3 年之前 |
