Daniel Gröber
|
0d13786a4c
|
scripts: Update docker images
|
2017-08-20 23:49:16 +02:00 |
|
Daniel Gröber
|
50617fe41d
|
docker.sh: Add GHC 8.2.1-rc1 (not working yet)
|
2017-04-17 00:19:48 +02:00 |
|
Daniel Gröber
|
c9914cf848
|
scripts: Update docker.sh
[ci skip]
|
2017-03-03 09:39:14 +01:00 |
|
Daniel Gröber
|
fdd8ffb390
|
ci: Use custom images to cover GHC 7.6-8.0
|
2017-03-03 04:47:12 +01:00 |
|
Daniel Gröber
|
2d6d03fcea
|
Force overwrite tag in bump.sh
|
2017-03-01 01:46:50 +01:00 |
|
Daniel Gröber
|
9ef3e67f21
|
hackage-meta: update upload script
|
2016-11-02 00:48:51 +01:00 |
|
Daniel Gröber
|
737b7c8d25
|
hackage-meta: make download script use all versions
|
2016-10-30 22:46:12 +01:00 |
|
Daniel Gröber
|
3bb2e26b4d
|
hackage-meta: some scripts for filling out missing bounds
|
2016-10-30 22:45:44 +01:00 |
|
Daniel Gröber
|
7cb3c94e0b
|
hackage-meta: upload times for all deps
|
2016-10-30 20:52:46 +01:00 |
|
Daniel Gröber
|
4e57fcfb4e
|
docs in bump.sh
|
2016-07-11 06:54:52 +02:00 |
|
Daniel Gröber
|
21fb8638ac
|
hackage-metadata: update the scripts
|
2016-06-02 20:15:59 +02:00 |
|
Daniel Gröber
|
5efa123f36
|
bump.sh: skip bump commit when empty
|
2016-01-17 20:19:08 +01:00 |
|
Daniel Gröber
|
37918fdfbe
|
bump.sh: Allow version tags
|
2016-01-04 20:48:51 +01:00 |
|
Daniel Gröber
|
0e63e8d326
|
Update bump.sh for seperate release branches
|
2016-01-04 20:36:19 +01:00 |
|
Daniel Gröber
|
87b5b6f8c5
|
Use HTTPS for hackage-metadata scripts
|
2015-11-26 16:08:08 +01:00 |
|
Daniel Gröber
|
758efc0be7
|
Add upload-metadata script
|
2015-11-18 20:56:44 +01:00 |
|
Daniel Gröber
|
e278e1414d
|
Add package metadata from hackage
|
2015-11-05 23:07:57 +01:00 |
|
Daniel Gröber
|
27dba0e9ae
|
Update bump.sh
|
2015-06-07 00:07:59 +02:00 |
|
Daniel Gröber
|
70a8a9a21e
|
Add compare-versions script
|
2015-05-24 22:42:23 +02:00 |
|
Daniel Gröber
|
f5ab347c03
|
Add bump.sh script to master branch too
|
2014-12-31 22:57:53 +01:00 |
|
Daniel Gröber
|
3c048b2732
|
Add script to collect debugging information.
|
2014-05-24 16:32:02 +02:00 |
|