Getting Started Documentation

Organisations robur-coop dnsvizor branch/main Build History

Build History for branch/main

Builds (38)

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

Aug 26 12:39 +00:00

Passed in 33m39s

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

Aug 26 12:39 +00:00

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

Aug 25 14:37 +00:00

Passed in 2m29s

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

Aug 25 09:36 +00:00

Passed in 2m18s

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

Aug 25 09:35 +00:00

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

Aug 25 09:35 +00:00

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

Aug 23 18:55 +00:00

Passed in 1m49s

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

Aug 12 10:41 +00:00

Passed in 2m11s

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

Jul 31 07:26 +00:00

Failed in 6m26s

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

Jul 25 08:37 +00:00

Passed in 2m56s

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

Jul 24 09:02 +00:00

Passed in 46m53s

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

Jul 22 10:53 +00:00

Passed in 6m15s

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

Jul 10 13:39 +00:00

Passed in 4m44s

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

Jul 04 16:44 +00:00

Passed in 22m38s

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

Jul 02 08:53 +00:00

Passed in 6m56s

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

Jul 01 10:32 +00:00

Passed in 2m24s

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

Jun 27 09:57 +00:00

Failed in 3d01h

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

Jun 26 15:38 +00:00

Failed in 4m54s

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

Jun 25 14:48 +00:00

Failed in 2m13s

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

Jun 19 15:24 +00:00

Failed in 7m26s

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

Jun 19 08:45 +00:00

Failed in 30m44s

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

Jun 18 15:02 +00:00

Passed in 15m04s

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

Jun 18 08:50 +00:00

Passed in 3h48m

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

Jun 18 06:26 +00:00

Passed in 14m54s

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

Jun 12 14:22 +00:00

Failed in 2d05h

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

Jun 12 06:44 +00:00

Failed in 5m38s

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

Jun 11 17:15 +00:00

Failed in 5m39s

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

May 29 09:25 +00:00

Failed in 5m34s

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

May 29 07:20 +00:00

Failed in 3m02s

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

May 18 18:25 +00:00

Passed in 5m40s

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

Feb 17 23:22 +00:00

Passed in 9m20s

Update to charrua.1.6.0 (#25)

Dec 12 09:45 +00:00

Passed in 8m48s

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

Nov 27 17:49 +00:00

Passed in 10m45s

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

Nov 11 20:55 +00:00

Passed in 18m53s

provide dhcp_range_docv, to be used in unikernel

Nov 07 09:32 +00:00

Failed in 6m16s

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

Nov 06 19:20 +00:00

Passed in 15m14s

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

Oct 31 14:21 +00:00

Passed in 39m05s

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

Oct 21 13:31 +00:00

Failed in 7m55s