Merge pull request 'Playing with CI' (#1) from aciceri/forgejo into master

Reviewed-on: #1

.forgejo/workflows/build.yaml

@@ -0,0 +1,8 @@
+on: [push]
+jobs:
+  test:
+    runs-on: nix
+    steps:
+      - uses: actions/checkout@v4
+      - run: cat /nix/store/cscv53kqarckmbz6729ngmyxg3y53n9c-push-to-cache.sh
+      - run: nix-fast-build --no-nom

.forgejo/workflows/update-flake-lock.yaml

@@ -0,0 +1,17 @@
+name: update-flake-lock
+on:
+  schedule:
+    - cron: '19 1 * * 6'
+
+jobs:
+  lockfile:
+    runs-on: nix
+    steps:
+      - uses: actions/checkout@v4
+      - name: Update flake.lock
+        uses: DeterminateSystems/update-flake-lock@main
+        with:
+          pr-title: "Update flake.lock" # Title of PR to be created
+          pr-labels: |                  # Labels to be set on the PR
+            dependencies
+            automated

checks/default.nix

@@ -1,7 +1,10 @@
 {
-  perSystem = {config, ...}: {
+  perSystem = {config, pkgs, ...}: {
     checks = {
       inherit (config.packages) ccrEmacs;
+      test = pkgs.hello.overrideDerivation (_: {
+	name = "test";
+      });
     };
   };
 }

flake.lock

@@ -71,11 +71,11 @@
     "extra-package-copilot": {
       "flake": false,
       "locked": {
-        "lastModified": 1707055282,
+        "lastModified": 1708330768,
-        "narHash": "sha256-Drx2bB/Uiq0Alm8d575eucQrK6erFy4Z0KXsL5RsFaY=",
+        "narHash": "sha256-2hLO2JLZZMgXcPEb7pVRUpVrUJsUMUdJcPoE4TC7edk=",
         "owner": "zerolfx",
         "repo": "copilot.el",
-        "rev": "22f0446a17753716456e0cb8ee33f47731fc4ec3",
+        "rev": "0e24423cfef2993b3a9633c8cbb654079f2652a9",
         "type": "github"
       },
       "original": {

init.el

@@ -345,8 +345,8 @@
       posframe
       (vertico-posframe-poshandler . posframe-poshandler-frame-center)
       (vertico-posframe-fallback-mode . vertico-buffer-mode))))
-  (vertico-posframe-min-height 0)
+  (vertico-posframe-min-height 1)
-  (vertico-posframe-min-width 80)
+  ;; (vertico-posframe-min-width 80)
   (vertico-posframe-parameters '((alpha-background . 80)))
 )
 
@@ -736,7 +736,10 @@ This is meant to be an helper to be called from the window manager."
   (set-face-attribute 'org-special-keyword nil :inherit 'fixed-pitch)
   (set-face-attribute 'org-table nil :inherit 'fixed-pitch)
   (set-face-attribute 'org-tag nil :inherit 'fixed-pitch :weight 'bold :height 0.8)
-  (set-face-attribute 'org-verbatim nil :inherit 'fixed-pitch))
+  (set-face-attribute 'org-verbatim nil :inherit 'fixed-pitch)
+
+  (org-babel-do-load-languages
+   'org-babel-load-languages '((haskell . t))))
 
 (use-package org-agenda
   :custom

packages/packages.nix

@@ -5,7 +5,7 @@ pkgs: epkgs: let
   depsPerPackage = {
     indent-bars = [elpaPackages.compat];
     chatgpt = [melpaPackages.polymode];
-    copilot = [melpaPackages.editorconfig melpaPackages.dash melpaPackages.s];
+    copilot = [melpaPackages.editorconfig melpaPackages.dash melpaPackages.s melpaPackages.f];
     notmuch-notify = [melpaPackages.alert melpaPackages.notmuch];
   };
 
@@ -94,10 +94,12 @@ pkgs: epkgs: let
       eldoc-box
       go-translate
       notmuch
+      poly-org
     ]) ++ (with elpaPackages; [
       delight
       kind-icon
       vertico-posframe
+      ef-themes
     ]) ++ (with nongnuPackages; [
       eat
       corfu-terminal