|
|
vor 8 Jahren | |
|---|---|---|
| .. | ||
| config | 365d74ac49 update user id on official server | vor 8 Jahren |
| doc | dde6d89004 include readme file | vor 8 Jahren |
| verify | 3957d3dc55 include official release gpg key | vor 8 Jahren |
| make-release.sh | 7dc2fd1acd stop using preemptable machines | vor 8 Jahren |
| release-ci.sh | 67dbb86b0e cleanup | vor 8 Jahren |