Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 07:04:43 +00:00
f8adac8b76 Add drone fix 12/?: unset HUGO_TARGET
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 07:00:52 +00:00
4bae586e36 Add drone fix 11/?: make hugo generate verbose output
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:57:52 +00:00
3522c34adf Add drone fix 10/?: remove broken echo command
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:56:54 +00:00
96fc519b3c Add drone fix 9/?: remove volume use and try use another output directory
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:50:05 +00:00
28f686eb80 Add drone fix 8/?: add more debug output
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:48:00 +00:00
6f0c95e49c Add drone fix 7/?: add = to Hugo commands
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:44:23 +00:00
130086db00 Add drone fix 6/?: add more debug output
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:42:22 +00:00
2a1ad171c0 Add drone fix 5/?: add debug output and skip compiler build
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:32:46 +00:00
db8a050bdf Add drone fix 4/?: use Drone volume in rsync step
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:29:31 +00:00
3ff5ce4dec Add drone fix 4/?: Use a drone volume to preserve storage
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:18:44 +00:00
9f8855a4d3 Add drone fix 3/?: Split build and upload into steps
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 06:03:10 +00:00
d3515d3fa5 Add drone fix 2/?: switch to an image with hugo-ext
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 05:52:07 +00:00
277427af57 Add drone fix 1/?: set up ssh-agent
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 05:48:13 +00:00
f6c1079bda Try to set up drone for live CI uploads
252d82469c Add a latex macro to help escape and write multiline latex
1879ba2c2b Add styling for tables.
fc444c1986 Resume work on polymorphism post
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-03-01 01:54:07 +00:00
ae9805e4f2 Finish draft of Idris post
33b1457e91 Add first draft of Idris post
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-28 07:09:58 +00:00
9e399ebe3c Add initial draft of typesafe interpreter post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-24 05:29:49 +00:00
eac1151616 Do not attribute G-machine to SPJ specifically
f7a7100fea Reword explanation of Update + Pop
c207d1dfcf Remove unused line at the end of works1.txt
df051fd643 Fix n vs n-1 mistake
419ab937b6 Switch to full text RSS
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-17 06:55:34 +00:00
ee90351c17 Add Crystal Nix post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 03:28:30 +00:00
fbdbf67ce3 Add gettext to build requirements to satisfy flex
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-12 03:17:38 +00:00
a7e32d300a Add bison and flex to build requirements