felix.git/source/CommandLine.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T12:31:18+00:00 Use two-worker Vampire portfolios by default 2026-08-04T12:31:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T12:31:18+00:00 urn:sha1:4d046dfa58dff343f16a491264c9379a26c72931 Name cleanup 2026-08-03T23:35:21+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T23:35:21+00:00 urn:sha1:94d5bfd4b314e70c1f4cfc925616ae467f65c848 Run ready typed modules concurrently 2026-08-03T21:10:26+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T21:10:26+00:00 urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965 Preserve authorization reports on HTML failure 2026-08-03T20:33:41+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T20:33:41+00:00 urn:sha1:8c72a944256f32e9a77d84d3a540b05024458f87 Publish verified HTML sequentially 2026-08-03T20:03:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T20:03:22+00:00 urn:sha1:fa6ba2cfc44873416ef08c503f585694118b8b8b Reuse verified presentation for HTML 2026-08-03T19:55:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:55:32+00:00 urn:sha1:a26c79449542a80572ca6846ec440bc4db130c4e Cut verification over to the typed driver 2026-08-03T18:46:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T18:46:33+00:00 urn:sha1:d4667c50132fc5c55383ee3b8907705738608bff Report admitted typed source state 2026-08-03T17:53:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T17:53:34+00:00 urn:sha1:e646a010305a0db70048bb7f11682d58da5b675e Acquire the final prelude through the cache 2026-08-03T17:05:13+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T17:05:13+00:00 urn:sha1:456eea158c74ea18e773675cd4b076302bc96477 Activate packaged prelude for protected roots 2026-08-02T17:03:31+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:57:46+00:00 urn:sha1:01ac1408e23367db5b8c0a819b69c15dc0053ac8