Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-25 06:22:14 +00:00
7d6f362936 Avoid using rev in Agda derivation
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-25 06:12:42 +00:00
711b01175d Put the number back to what it was
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 20:45:24 +00:00
f5c1772de0 Test update to blog-source
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:44:53 +00:00
272c2666c5 Inconsequential tweak to test Agda caching in build system
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-24 20:34:22 +00:00
0962df69ad Factor out building Agda HTML from building the blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:22:40 +00:00
60ba43378a Make the destination folders
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:17:55 +00:00
1da60b3b28 Print result of executing command
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-24 20:05:15 +00:00
ee118b07e5 Make build-agda-html.rb more configurable
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-16 23:17:36 +00:00
7dad80f44d Update blog source with theme fix
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-16 23:17:07 +00:00
d787548915 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-16 23:16:58 +00:00
f3bf27d4a1 Remove newlines from 'codeurl'
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-16 23:10:10 +00:00
9ea42f306b Udjust for blog no longer requiring a generated config file
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-16 22:53:19 +00:00
a29bca499f Switch to using data/ for submodule information
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-16 22:53:14 +00:00
77b8d5e65b Draw from 'data/' for submodule links
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-15 04:52:09 +00:00
1c3436fdc3 Update blog source
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-15 04:43:31 +00:00
60d3b3025a Flesh out the Lattices post some more
c036041339 Update theme
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-15 03:32:32 +00:00
e2fb9362f6 Tweak formattng of tables
038c8e0ac6 Enable bold Raleway loading
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/server-config 2024-05-14 02:51:13 +00:00
fc0ff8a586 Update flake.lock with new nixpkgs etc.
355dc7cf9d Update to proper version of nix.package
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-14 02:46:21 +00:00
6b8fa513b4 Update lock to new dependency versions
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-14 02:43:44 +00:00
c1283b0165 Use instable nix pkgs