Hannes Mehnert

hannes opened issue robur/blog.robur.coop#24

2024-10-28 17:45:23 +00:00

tags: improvements cleanups

hannes pushed to gh-pages-test at robur/blog.robur.coop

2024-10-28 17:40:55 +00:00

08d891a261 Pushed by YOCaml 2 from 45917109f0

hannes pushed to gh-pages-test at robur/blog.robur.coop

2024-10-28 17:35:27 +00:00

97f84ded52 Pushed by YOCaml 2 from 340a53acd4

hannes pushed to gh-pages-test at robur/blog.robur.coop

2024-10-28 17:32:25 +00:00

4c61262444 Pushed by YOCaml 2 from 52bd07a059749b96c7933e6303de25dbdfbc696e

hannes pushed to gh-pages-test at robur/blog.robur.coop

2024-10-28 17:31:24 +00:00

093d8fd0cd Pushed by YOCaml 2 from 7f47c4032f5ab40e0876a5259b296c230cb898ad

hannes created branch gh-pages-test in robur/blog.robur.coop

2024-10-28 17:16:29 +00:00

hannes pushed to gh-pages-test at robur/blog.robur.coop

2024-10-28 17:16:29 +00:00

73a2d52b45 Pushed by YOCaml 2 from f35e0763db

hannes pushed to main at robur/blog.robur.coop

2024-10-28 17:10:09 +00:00

f35e0763db minor documentation updates

hannes deleted branch fix-article-urls from robur/blog.robur.coop

2024-10-28 17:08:28 +00:00

hannes pushed to main at robur/blog.robur.coop

2024-10-28 17:08:25 +00:00

bc02087612 Merge pull request 'Fix inadvertent double slash' (#23) from fix-article-urls into main

62c7a926f0 Fix inadvertent double slash

Compare 2 commits »

hannes merged pull request robur/blog.robur.coop#23

2024-10-28 17:08:24 +00:00

Fix inadvertent double slash

hannes commented on pull request robur/blog.robur.coop#23

2024-10-28 16:22:12 +00:00

Fix inadvertent double slash

looks fine to me.

hannes commented on pull request robur/blog.robur.coop#18

2024-10-28 15:30:41 +00:00

Remove usage of {{ host }} when our only target is https://blog.robur.coop

Now bin/watch.exe has broken links /o\

Could you clarify how / where, and what to do about it?

hannes commented on pull request robur/git-kv#2

2024-10-28 13:05:59 +00:00

Refactor test/dune and add a failing test

This is what @reynir and myself developed. The semantics have changed, but we believe that this is in good shape now.

We also added some alcotest-lwt tests to show the intended semantics and…

hannes deleted branch alcotest from robur/git-kv

2024-10-28 12:06:18 +00:00

hannes created branch alcotest in robur/git-kv

2024-10-28 08:45:55 +00:00

hannes pushed to alcotest at robur/git-kv

2024-10-28 08:45:55 +00:00

b1e995532b add alcotest

hannes pushed to batch-test at robur/git-kv

2024-10-26 15:34:11 +00:00

f1c7403a7f minor nits to get tests running on FreeBSD

hannes deleted branch no-host from robur/blog.robur.coop

2024-10-26 14:43:52 +00:00

hannes pushed to main at robur/blog.robur.coop

2024-10-26 14:43:52 +00:00

1918cb3821 Merge pull request 'Remove usage of {{ host }} when our only target is https://blog.robur.coop' (#18) from no-host into main

58f1bf634b Remove usage of {{ host }} when our only target is https://blog.robur.coop

Compare 2 commits »