Build History for branch/main

Merge pull request #131 from robur-coop/fix-dns-10.2.4 Fix for dns 10.2.4

Merge pull request #129 from robur-coop/a-ptr-for-dhcp-host Provide DNS record for static dhcp-host configurations

Merge pull request #123 from robur-coop/vendor-identifying Vendor identifying + certificates

add PTR record in dhcp_lease_cb (#128) * add PTR record in dhcp_lease_cb fixes #126 Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

Fix domain parsing (this directive must not slurp a newline) (#125) * Fix domain parsing (this directive must not slurp a newline) Fixes #124 * formatted code * Config_parser: provide equality (moved from config_tests) config_tests: check for equality of the sample configuration files * formatted code * minor refactor * formatted code * address @reynir review * formatted code --------- Co-authored-by: Automated ocamlformat GitHub action, developed by robur.coop <autoformat@robur.coop>

Merge pull request #122 from robur-coop/rm-table-on-start Remove all table rows (apart from the header) when startEventSource is executed

Merge pull request #121 from robur-coop/buffer-10-queries Buffer up to 10 queries for the query-log

Merge pull request #120 from robur-coop/base64-result Base64 may return an exception, use the result instead

Merge pull request #119 from robur-coop/fix-h2-headers unikernel: avoid connection: close header in HTTP2

Merge pull request #116 from robur-coop/fix-doh Use URI safe alphabet for DoH base64 decoding

Merge pull request #114 from linj-fork/pr/add-missing-depepdency-metrics-lwt Add missing dependency metrics-lwt

Merge pull request #113 from robur-coop/charrua.3.0.0 Update to charrua.3.0.0

Merge pull request #112 from robur-coop/add-security-headers add security headers, fixes #111

use freebsd-14-3 on cirrus

Merge pull request #108 from robur-coop/query-log Query log

Merge pull request #110 from robur-coop/bogus-priv Bogus priv

Merge pull request #106 from robur-coop/local-libs² Use local_libs

Merge pull request #104 from robur-coop/netbeez support dhcp-authoritative flag

Merge pull request #102 from robur-coop/tags Support tags to some degree

Merge pull request #103 from robur-coop/stub log errors if using stub and using command line arguments that are not supported

Merge pull request #101 from robur-coop/dhcp-stuff unikernel DHCP improvements

Merge pull request #100 from robur-coop/more-dhcp-option connect dhcp-host to the config file parser, add a test

Merge pull request #99 from robur-coop/vendor-specific Vendor specific options

Merge pull request #98 from robur-coop/han_2 HAN accessibility report fixes

Merge pull request #97 from robur-coop/han Fixes for Accesibility report

Merge pull request #96 from robur-coop/many-dhcp-options Allow many --dhcp-option arguments

Merge pull request #95 from robur-coop/minor Minor

Merge pull request #72 from robur-coop/dhcp-option™ Configuration refactoring, dhcp option log-server

support dns 10.2.2 (where some API was revised) (#94) * support dns 10.2.2 (where some API was revised) see https://github.com/mirage/ocaml-dns/pull/396 * formatted code --------- Co-authored-by: Automated ocamlformat GitHub action, developed by robur.coop <autoformat@robur.coop>

Merge pull request #69 from robur-coop/dhcp-option Implement --dhcp-option=option:log-server,0.0.0.0

Merge pull request #71 from robur-coop/minor Don't locally open for one value

Merge pull request #66 from robur-coop/dns-stub adjust the dns-stub code path with the same features as the recursive resolver

also provide functionality for updating tlstunnel (#64) * also provide functionality for updating tlstunnel * formatted code --------- Co-authored-by: Automated ocamlformat GitHub action, developed by robur.coop <autoformat@robur.coop>

README: adjust the mirage version

Merge pull request #62 from robur-coop/static-or-dhcp DNS interaction

Merge pull request #59 from robur-coop/move-code-around Move the Network module to the top, clear up dependencies

Merge pull request #60 from robur-coop/fix-domain if a domain is provided, put the SOA there

Add config parser mli (#58) * add an interface file * use the config_parser.config type * autoformat

Merge pull request #56 from robur-coop/support-domain support the domain directive

Merge pull request #55 from robur-coop/allow-disable-tls-and-password Provide a configuration flag, --no-tls, to disable web frontend and DoT/DoH

Merge pull request #57 from robur-coop/apply-config apply the uploaded configuration

Merge pull request #44 from robur-coop/no-hosts Implement --no-hosts argument

Merge pull request #54 from robur-coop/unpin-dns remove DNS pin, now that 10.2.0 is released

Merge pull request #53 from robur-coop/man-sections Man sections

Merge pull request #51 from robur-coop/metrics-enable-selectively unikernel: enable only those metrics we actually use

Merge pull request #45 from robur-coop/trie_cache_entries Disable primary trie cache

Merge pull request #48 from robur-coop/extended_ui Password authentication

Merge pull request #49 from robur-coop/resolver-features use DNS-resolver features, guard qname-minimisaton and opportunistic TLS behind flags

Merge pull request #47 from robur-coop/apply-config Apply the configuration changed by the /configuration-upload endpoint

Merge pull request #46 from robur-coop/config_ui Configuration UI

Merge pull request #42 from robur-coop/post-body Fix POST request in web_ui_handler

Merge pull request #43 from robur-coop/UI-improvements Add title attributes to buttons

Merge pull request #41 from robur-coop/block-list Block list parser tweaks

Merge pull request #39 from robur-coop/block-list Blocklist

Merge pull request #38 from robur-coop/remove-graphs Remove dummy graphs

Merge pull request #40 from robur-coop/metrics-05 update to metrics 0.5

Merge pull request #37 from robur-coop/layout-and-metrics Layout and metrics

Merge pull request #35 from robur-coop/monitoring Add monitoring support to the unikernel

Merge pull request #34 from robur-coop/stats-metrics Display statistics from metrics

Merge pull request #32 from robur-coop/fix-typo fix typo in content-length

Merge pull request #31 from robur-coop/content-length Add a content-length header

Merge pull request #28 from robur-coop/dns_ui DNSVizor UI

Merge pull request #30 from robur-coop/dnssec-flag add dnssec flag for dnsvizor

Merge pull request #27 from robur-coop/dns-over-https First impl. of DNS over HTTPS

Merge pull request #26 from robur-coop/mirage-49 update to mirage 4.9.0

Parse --dhcp-host (#24) Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

Update to charrua.1.6.0 (#25)

Merge pull request #22 from robur-coop/whitespace-and-comments Tweak parser re: white space, comments

Merge pull request #21 from robur-coop/fix-unix Work around default_network --interface argument

provide dhcp_range_docv, to be used in unikernel

Merge pull request #20 from robur-coop/options more options to parse

Merge pull request #15 from robur-coop/improve-opam add logs to opam under 'with-test'

Merge pull request #14 from robur-coop/conf_parser initial config_parser, using angstrom. partially hooked to the unikernel