Add nixos 20.09 (#199)
* Add NixOS 20.09 * a different prefix is needed since 20.09 is not released yet Co-authored-by: Andreas Rammhold <andreas@rammhold.de>
This commit is contained in:
parent
86ad9d036d
commit
4b9f197fb0
1
.github/workflows/cron.yml
vendored
1
.github/workflows/cron.yml
vendored
|
@ -16,6 +16,7 @@ jobs:
|
||||||
matrix:
|
matrix:
|
||||||
channel:
|
channel:
|
||||||
- unstable
|
- unstable
|
||||||
|
- 20.09
|
||||||
- 20.03
|
- 20.03
|
||||||
- 19.09
|
- 19.09
|
||||||
|
|
||||||
|
|
|
@ -29,6 +29,7 @@ CHANNELS = {
|
||||||
"unstable": "nixos/unstable/nixos-20.09pre",
|
"unstable": "nixos/unstable/nixos-20.09pre",
|
||||||
"19.09": "nixos/19.09/nixos-19.09.",
|
"19.09": "nixos/19.09/nixos-19.09.",
|
||||||
"20.03": "nixos/20.03/nixos-20.03.",
|
"20.03": "nixos/20.03/nixos-20.03.",
|
||||||
|
"20.09": "nixos/20.09/nixos-20.09alpha",
|
||||||
}
|
}
|
||||||
ANALYSIS = {
|
ANALYSIS = {
|
||||||
"normalizer": {
|
"normalizer": {
|
||||||
|
|
|
@ -318,7 +318,7 @@ type Channel
|
||||||
= Unstable
|
= Unstable
|
||||||
| Release_19_09
|
| Release_19_09
|
||||||
| Release_20_03
|
| Release_20_03
|
||||||
|
| Release_20_09
|
||||||
|
|
||||||
type alias ChannelDetails =
|
type alias ChannelDetails =
|
||||||
{ id : String
|
{ id : String
|
||||||
|
@ -340,6 +340,9 @@ channelDetails channel =
|
||||||
Release_20_03 ->
|
Release_20_03 ->
|
||||||
ChannelDetails "20.03" "20.03" "nixos/release-20.03" "nixos-20.03"
|
ChannelDetails "20.03" "20.03" "nixos/release-20.03" "nixos-20.03"
|
||||||
|
|
||||||
|
Release_20_09 ->
|
||||||
|
ChannelDetails "20.09" "20.09" "nixos/release-20.09" "nixos-20.09"
|
||||||
|
|
||||||
|
|
||||||
channelFromId : String -> Maybe Channel
|
channelFromId : String -> Maybe Channel
|
||||||
channelFromId channel_id =
|
channelFromId channel_id =
|
||||||
|
@ -353,6 +356,9 @@ channelFromId channel_id =
|
||||||
"20.03" ->
|
"20.03" ->
|
||||||
Just Release_20_03
|
Just Release_20_03
|
||||||
|
|
||||||
|
"20.09" ->
|
||||||
|
Just Release_20_09
|
||||||
|
|
||||||
_ ->
|
_ ->
|
||||||
Nothing
|
Nothing
|
||||||
|
|
||||||
|
@ -367,6 +373,7 @@ channels : List String
|
||||||
channels =
|
channels =
|
||||||
[ "19.09"
|
[ "19.09"
|
||||||
, "20.03"
|
, "20.03"
|
||||||
|
, "20.09"
|
||||||
, "unstable"
|
, "unstable"
|
||||||
]
|
]
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue