From 70b72a343fbad863d219602f075cdacab2a451b3 Mon Sep 17 00:00:00 2001 From: tomberek Date: Tue, 30 Nov 2021 18:26:34 -0500 Subject: [PATCH] release: 21.05 -> 21.11 (#376) * release: 21.05 -> 21.11 * adding back 20.09 (for now) Co-authored-by: Rok Garbas --- .github/workflows/cron-nixpkgs.yml | 1 + src/Search.elm | 21 +++++++++++++++++---- 2 files changed, 18 insertions(+), 4 deletions(-) diff --git a/.github/workflows/cron-nixpkgs.yml b/.github/workflows/cron-nixpkgs.yml index a1a4775..b39434f 100644 --- a/.github/workflows/cron-nixpkgs.yml +++ b/.github/workflows/cron-nixpkgs.yml @@ -16,6 +16,7 @@ jobs: matrix: channel: - unstable + - 21.11 - 21.05 - 20.09 diff --git a/src/Search.elm b/src/Search.elm index afb6004..3dba98e 100644 --- a/src/Search.elm +++ b/src/Search.elm @@ -479,6 +479,7 @@ type Channel = Unstable | Release_20_09 | Release_21_05 + | Release_21_11 {-| TODO: we should consider using more dynamic approach here @@ -494,7 +495,7 @@ type alias ChannelDetails = defaultChannel : String defaultChannel = - "21.05" + "21.11" channelDetails : Channel -> ChannelDetails @@ -509,6 +510,9 @@ channelDetails channel = Release_21_05 -> ChannelDetails "21.05" "21.05" "nixos/release-21.05" "nixos-21.05" + Release_21_11 -> + ChannelDetails "21.11" "21.11" "nixos/release-21.11" "nixos-21.11" + channelFromId : String -> Maybe Channel channelFromId channel_id = @@ -522,6 +526,9 @@ channelFromId channel_id = "21.05" -> Just Release_21_05 + "21.11" -> + Just Release_21_11 + _ -> Nothing @@ -536,6 +543,7 @@ channels : List String channels = [ "20.09" , "21.05" + , "21.11" , "unstable" ] @@ -579,16 +587,21 @@ flakeIds = flakes : List Flake flakes = - [ { id = "latest-nixos-20.09-latest" + [ { id = "latest-nixos-21.11-latest" , isNixpkgs = True - , title = "Nixpkgs 20.09" + , title = "Nixpkgs 21.11" , source = "" } - , { id = "nixos-21.05-latest" + , { id = "latest-nixos-21.05-latest" , isNixpkgs = True , title = "Nixpkgs 21.05" , source = "" } + , { id = "nixos-21.09-latest" + , isNixpkgs = True + , title = "Nixpkgs 21.09" + , source = "" + } , { id = "latest-nixos-unstable" , isNixpkgs = True , title = "Nixpkgs Unstable"