19 commits

Author	SHA1	Message	Date
Léana 江	82300df9b1	nix/packages: update hbrainfuck, prop_solveur	2025-05-04 23:36:33 +02:00
Léana 江	0299c9e14d	remove boomer	2025-05-02 14:06:51 +02:00
Léana 江	0f65c11a1c	nix: -hiosevka	2025-03-26 21:03:35 +01:00
Léana 江	0787b7392b	github: update workflow	2025-02-05 17:08:33 +01:00
Léana 江	5c21f83f4d	github: use DeterminateSystems/flakehub-cache-action	2025-02-05 15:20:05 +01:00
Léana 江	4e5a139b3e	workflow: cache my projects	2024-11-17 08:27:07 +01:00
Léana 江	a68863c184	nix: -isabelle-wrapped	2024-10-30 20:20:07 +01:00
Léana 江	691b0c7861	github: cache typst-bot	2024-10-30 20:20:01 +01:00
Léana 江	086ffccc42	github: cache nerd-font version of altiosevka	2024-10-30 20:20:00 +01:00
Léana 江	1d2ac6a029	github: update workflow for linux specific build tasks	2024-10-30 20:19:57 +01:00
Léana 江	c0b9b5c3b2	github: build isabelle-wrapped	2024-10-30 20:19:56 +01:00
Léana 江	16bc13f2cf	github: update cachix workflow	2024-10-30 20:19:56 +01:00
Léana 江	a71ed531ab	updated workflow	2024-10-30 20:19:42 +01:00
Léana 江	35f5abe654	github: removed some targets from workflow	2024-10-30 20:19:30 +01:00
Léana 江	1d7dba81a7	github: also build for intel macs	2024-10-30 20:19:30 +01:00
Léana 江	e961bc5e3f	github: disable build for nerd-font-propo	2024-10-30 20:19:27 +01:00
Léana 江	2dd71cefdb	macos ?	2024-10-30 20:19:27 +01:00
Léana 江	1fc249c710	workflow: added tokei to workflow	2024-10-30 20:19:26 +01:00
Léana 江	c8c56bc433	ci: github action	2024-10-30 20:19:24 +01:00