Commit Graph
462 Commits
Author SHA1 Message Date
github-actions[bot]andGitHub 45639e2531 Merge pull request #27 from tomasriveral/desktop
Weekly sync: desktop → main
2026-06-12 14:38:11 +00:00
tomasrandGitHub 2d2d4fd4a8 Merge pull request #26 from tomasriveral/laptop
Weekly sync: laptop → main
2026-06-12 14:32:48 +00:00
tomasrandGitHub 22bc2f218f Merge branch 'main' into laptop 2026-06-12 14:32:38 +00:00
tomasr d49c7ba99e limine: rice 2026-06-12 15:58:28 +02:00
tomasr c1354a3b98 limine: rice 2026-06-12 15:58:17 +02:00
tomasr 29554e41ca nixUtils: add custom-trimmer 2026-06-12 15:49:23 +02:00
tomasr f8255c42ed nixUtils: add custom-trimmer 2026-06-12 15:46:20 +02:00
tomasr 2a318bdced hosts: forgot to use nixUtils module 2026-06-12 15:38:01 +02:00
tomasr bd86051c13 hosts: forgot to use nixUtils module 2026-06-12 15:37:43 +02:00
tomasr 34cde6f6f4 flake.lock: update 2026-06-12 15:21:26 +02:00
tomasr 763bbbacd4 bootloader: limine 2026-06-12 15:10:49 +02:00
tomasr 59f5d84de0 bootloader: limine 2026-06-12 15:10:42 +02:00
tomasr 99f1dd3ec8 bootloader: reunited desktop and laptop config 2026-06-12 15:07:17 +02:00
tomasr f56e535ff6 bootloader: reunited desktop and laptop config 2026-06-12 15:07:06 +02:00
tomasrandGitHub 3836a6eb7c Merge pull request #25 from tomasriveral/desktop
Weekly sync: desktop → main
2026-06-10 18:25:15 +00:00
tomasrandGitHub d9a650a964 Merge branch 'main' into desktop 2026-06-10 18:25:04 +00:00
tomasr d0ac13cec6 CI: rewrite with checkout 2026-06-10 20:19:26 +02:00
tomasr c92a868718 CI: fix git repo 2026-06-10 20:17:57 +02:00
tomasr 2c95860f5b CI: fix auto merge action 2026-06-10 20:14:49 +02:00
tomasrandGitHub 4b6d0250df Merge pull request #24 from tomasriveral/laptop
Laptop
2026-06-10 08:28:43 +00:00
tomasr a063b505c6 CI: weekly PR merge to main from desktop and laptop 2026-06-10 10:26:26 +02:00
tomasr 433bb52cde CI: weekly PR merge to main from desktop and laptop 2026-06-10 10:26:16 +02:00
tomasr d9969cbd71 mathematics: init module with lean4 2026-06-10 10:20:35 +02:00
tomasr 68d81d5c4b mathematics: init module with lean4 2026-06-10 10:19:51 +02:00
tomasr 259ee7e554 mathematics: init module with lean4 2026-06-09 20:11:19 +02:00
tomasr b1edbc9378 Auto: cleanup-2026-06-09T14-39-17Z 2026-06-09 16:39:36 +02:00
tomasr 7e0ba6278c snapshot pre-cleanup-2026-06-09T14-39-17Z 2026-06-09 16:39:17 +02:00
tomasr 89d5ac8a17 micro-vivify: comment out from flake.nix 2026-06-09 16:26:47 +02:00
tomasr d340b9c08b micro-vivify: comment out from flake.nix 2026-06-09 16:26:34 +02:00
tomasrandGitHub d4d24e6f61 Merge pull request #23 from tomasriveral/laptop
Laptop
2026-06-09 14:25:26 +00:00
tomasrandGitHub 45666fa728 Merge pull request #22 from tomasriveral/desktop
Desktop
2026-06-09 14:24:39 +00:00
tomasrandGitHub 2e0996938a Merge branch 'main' into desktop 2026-06-09 14:24:28 +00:00
tomasr 8b2a086a4d patent flake.lock 2026-06-09 16:22:59 +02:00
tomasr 4b6a5ffa59 patent in flake.nix 2026-06-09 16:18:15 +02:00
tomasr 19adc625f1 patent: use flake.nix 2026-06-09 11:58:44 +02:00
tomasr 18d73c71c3 update flake.lock 2026-06-09 11:58:39 +02:00
tomasr dc09f6dcce snapshot pre-autoupdate-2026-06-09T09-55-08Z 2026-06-09 11:55:08 +02:00
tomasr 682bc4e5ab patent: flake.lock 2026-06-09 11:54:49 +02:00
tomasr 0beb6f374a patent: use flake.nix 2026-06-09 11:51:52 +02:00
tomasr 6d15ae6a22 fix nixGitCherryPicker 2026-06-09 11:48:31 +02:00
tomasr 32c9d85f99 fix: custom-browserprofiles 2026-06-08 22:20:32 +02:00
tomasr e3089e1d59 fix: custom-browserprofiles 2026-06-08 22:20:24 +02:00
tomasr fa54be1c2b fix: cherry-picker-desktop 2026-06-08 22:14:55 +02:00
tomasr abf652e21b fix: cherry-picker-desktop 2026-06-08 22:14:47 +02:00
tomasr 75002217f3 fix: home.file 2026-06-08 22:13:44 +02:00
tomasr e42b1f9725 librewolf profiles selector: added tor-browser 2026-06-08 22:13:00 +02:00
tomasr 99ab54cc8b fix: home.file 2026-06-08 22:12:43 +02:00
tomasr 5afc0acf77 librewolf profiles selector: added tor-browser 2026-06-08 22:11:54 +02:00
tomasrandGitHub ccd9b3e97e Merge pull request #21 from tomasriveral/laptop
Laptop
2026-06-08 15:51:26 +00:00
tomasrandGitHub cd3aa9b0dd Merge branch 'main' into laptop 2026-06-08 15:51:01 +00:00