|
|
8f09b518ba
|
Add sidenote delimiters to make the site not look bad with CSS off
|
2020-03-02 21:30:23 -08:00 |
|
|
|
2d6aab6b71
|
Add special table style and factor out media queries
continuous-integration/drone/push Build is passing
|
2020-03-01 16:07:38 -08:00 |
|
|
|
6712c0064a
|
Finalize new Drone configuration
continuous-integration/drone/push Build is passing
|
2020-02-29 23:16:49 -08:00 |
|
|
|
5e6d97ab36
|
Add drone fix 15/?: try to control Hugo through environment variable
continuous-integration/drone/push Build is passing
|
2020-02-29 23:13:59 -08:00 |
|
|
|
ea753fdfe7
|
Add drone fix 14/?: even more uses of ls
continuous-integration/drone/push Build is passing
|
2020-02-29 23:12:06 -08:00 |
|
|
|
1db8a24b4d
|
Add drone fix 13/?: try to figure out where Hugo puts files
continuous-integration/drone/push Build is passing
|
2020-02-29 23:10:13 -08:00 |
|
|
|
f8adac8b76
|
Add drone fix 12/?: unset HUGO_TARGET
continuous-integration/drone/push Build is passing
|
2020-02-29 23:04:40 -08:00 |
|
|
|
4bae586e36
|
Add drone fix 11/?: make hugo generate verbose output
continuous-integration/drone/push Build is failing
|
2020-02-29 23:00:45 -08:00 |
|
|
|
3522c34adf
|
Add drone fix 10/?: remove broken echo command
continuous-integration/drone/push Build is failing
|
2020-02-29 22:57:49 -08:00 |
|
|
|
96fc519b3c
|
Add drone fix 9/?: remove volume use and try use another output directory
continuous-integration/drone/push Build is failing
|
2020-02-29 22:56:49 -08:00 |
|
|
|
28f686eb80
|
Add drone fix 8/?: add more debug output
continuous-integration/drone/push Build is passing
|
2020-02-29 22:50:03 -08:00 |
|
|
|
6f0c95e49c
|
Add drone fix 7/?: add = to Hugo commands
continuous-integration/drone/push Build is passing
|
2020-02-29 22:47:58 -08:00 |
|
|
|
130086db00
|
Add drone fix 6/?: add more debug output
continuous-integration/drone/push Build is passing
|
2020-02-29 22:44:21 -08:00 |
|
|
|
2a1ad171c0
|
Add drone fix 5/?: add debug output and skip compiler build
continuous-integration/drone/push Build is passing
|
2020-02-29 22:42:19 -08:00 |
|
|
|
db8a050bdf
|
Add drone fix 4/?: use Drone volume in rsync step
continuous-integration/drone/push Build is passing
|
2020-02-29 22:32:42 -08:00 |
|
|
|
3ff5ce4dec
|
Add drone fix 4/?: Use a drone volume to preserve storage
continuous-integration/drone/push Build is failing
|
2020-02-29 22:29:26 -08:00 |
|
|
|
9f8855a4d3
|
Add drone fix 3/?: Split build and upload into steps
continuous-integration/drone/push Build is failing
|
2020-02-29 22:18:33 -08:00 |
|
|
|
d3515d3fa5
|
Add drone fix 2/?: switch to an image with hugo-ext
continuous-integration/drone/push Build is failing
|
2020-02-29 22:03:03 -08:00 |
|
|
|
277427af57
|
Add drone fix 1/?: set up ssh-agent
continuous-integration/drone/push Build is failing
|
2020-02-29 21:52:01 -08:00 |
|
|
|
f6c1079bda
|
Try to set up drone for live CI uploads
continuous-integration/drone/push Build is failing
|
2020-02-29 21:48:08 -08:00 |
|
|
|
252d82469c
|
Add a latex macro to help escape and write multiline latex
|
2020-02-29 20:42:36 -08:00 |
|
|
|
1879ba2c2b
|
Add styling for tables.
|
2020-02-29 20:16:57 -08:00 |
|
|
|
fc444c1986
|
Resume work on polymorphism post
|
2020-02-29 20:15:37 -08:00 |
|
|
|
ae9805e4f2
|
Finish draft of Idris post
continuous-integration/drone/push Build is passing
|
2020-02-29 17:52:45 -08:00 |
|
|
|
33b1457e91
|
Add first draft of Idris post
|
2020-02-29 16:12:12 -08:00 |
|
|
|
9e399ebe3c
|
Add initial draft of typesafe interpreter post
continuous-integration/drone/push Build is passing
|
2020-02-27 23:09:51 -08:00 |
|
|
|
eac1151616
|
Do not attribute G-machine to SPJ specifically
continuous-integration/drone/push Build is passing
|
2020-02-23 21:29:21 -08:00 |
|
|
|
f7a7100fea
|
Reword explanation of Update + Pop
|
2020-02-23 21:26:56 -08:00 |
|
|
|
c207d1dfcf
|
Remove unused line at the end of works1.txt
|
2020-02-23 21:26:37 -08:00 |
|
|
|
df051fd643
|
Fix n vs n-1 mistake
|
2020-02-23 21:20:32 -08:00 |
|
|
|
419ab937b6
|
Switch to full text RSS
|
2020-02-23 21:01:41 -08:00 |
|
|
|
7ff919c31b
|
Make the shortcodes HTML-specific
|
2020-02-23 20:24:40 -08:00 |
|
|
|
ee90351c17
|
Add Crystal Nix post
continuous-integration/drone/push Build is passing
|
2020-02-16 22:55:25 -08:00 |
|
|
|
fbdbf67ce3
|
Add gettext to build requirements to satisfy flex
continuous-integration/drone/push Build is passing
|
2020-02-11 19:28:24 -08:00 |
|
|
|
a7e32d300a
|
Add bison and flex to build requirements
continuous-integration/drone/push Build is failing
|
2020-02-11 19:17:31 -08:00 |
|
|
|
56387cb936
|
Add make to pacman command
continuous-integration/drone/push Build is failing
|
2020-02-11 18:56:55 -08:00 |
|
|
|
df965816ac
|
Update pacman command to download database files.
continuous-integration/drone/push Build is failing
|
2020-02-11 18:53:39 -08:00 |
|
|
|
c7341c9b15
|
Try again to include all the required tooling
continuous-integration/drone/push Build is failing
|
2020-02-11 18:52:06 -08:00 |
|
|
|
00322d7e9f
|
Try switch to an image with CMake.
continuous-integration/drone/push Build is failing
|
2020-02-11 18:47:40 -08:00 |
|
|
|
ef93632130
|
Add garbage collection post to main link
continuous-integration/drone/push Build is failing
|
2020-02-11 18:40:59 -08:00 |
|
|
|
0f744888ef
|
Move testing code into a script
|
2020-02-11 18:37:21 -08:00 |
|
|
|
a5b84bab69
|
Revert to YAML
|
2020-02-11 14:25:44 -08:00 |
|
|
|
12725500a8
|
Try wrap pipeline in array
|
2020-02-11 14:20:47 -08:00 |
|
|
|
1917c08e51
|
Messing around to try get the syntax right, part 2
|
2020-02-11 14:03:24 -08:00 |
|
|
|
b304057560
|
Messing around to try get the syntax right
|
2020-02-11 14:02:13 -08:00 |
|
|
|
e5a39d8dfb
|
Replace ints with strings
|
2020-02-11 13:50:05 -08:00 |
|
|
|
54ccef9c72
|
Remove string interpolation for a bit
|
2020-02-11 13:48:30 -08:00 |
|
|
|
c103c6acbf
|
Try to build multiple compiler versions
|
2020-02-11 13:40:00 -08:00 |
|
|
|
d6f53076c0
|
Switch to jsonnet syntax
continuous-integration/drone/push Build is passing
|
2020-02-11 13:35:36 -08:00 |
|
|
|
b07ea8fe9c
|
Add initial drone configuration file
continuous-integration/drone/push Build is passing
|
2020-02-11 13:25:10 -08:00 |
|
