<feed xmlns='http://www.w3.org/2005/Atom'>
<title>felix.git/source/Test/Unit/CommandLine.hs, branch hotg</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.
</subtitle>
<id>https://git.adelon.net/felix.git/atom?h=hotg</id>
<link rel='self' href='https://git.adelon.net/felix.git/atom?h=hotg'/>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/'/>
<updated>2026-08-04T08:47:33+00:00</updated>
<entry>
<title>Plan and admit module declarations prospectively</title>
<updated>2026-08-04T08:47:33+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-04T08:47:33+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=a89562150ca30d9ad53440f6bce8d6ef166d1842'/>
<id>urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Run ready typed modules concurrently</title>
<updated>2026-08-03T21:10:26+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T21:10:26+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=2e8b21405f16d877ae368d24a4d820285bdcd965'/>
<id>urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Preserve authorization reports on HTML failure</title>
<updated>2026-08-03T20:33:41+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T20:33:41+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=8c72a944256f32e9a77d84d3a540b05024458f87'/>
<id>urn:sha1:8c72a944256f32e9a77d84d3a540b05024458f87</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Publish verified HTML sequentially</title>
<updated>2026-08-03T20:03:22+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T20:03:22+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=fa6ba2cfc44873416ef08c503f585694118b8b8b'/>
<id>urn:sha1:fa6ba2cfc44873416ef08c503f585694118b8b8b</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Remove obsolete verification machinery</title>
<updated>2026-08-03T19:00:28+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T19:00:28+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=5cdde1fd0f976863ae4b5831ab389048138b06a4'/>
<id>urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Cut verification over to the typed driver</title>
<updated>2026-08-03T18:46:33+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T18:46:33+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=d4667c50132fc5c55383ee3b8907705738608bff'/>
<id>urn:sha1:d4667c50132fc5c55383ee3b8907705738608bff</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Report admitted typed source state</title>
<updated>2026-08-03T17:53:34+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T17:53:34+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=e646a010305a0db70048bb7f11682d58da5b675e'/>
<id>urn:sha1:e646a010305a0db70048bb7f11682d58da5b675e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Acquire the final prelude through the cache</title>
<updated>2026-08-03T17:05:13+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-03T17:05:13+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=456eea158c74ea18e773675cd4b076302bc96477'/>
<id>urn:sha1:456eea158c74ea18e773675cd4b076302bc96477</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Revert "Prioritize HTML source failures"</title>
<updated>2026-08-01T00:01:37+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-08-01T00:01:37+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=8dbc6e2bce061bde4ce5207481f8c1f50a97c5e1'/>
<id>urn:sha1:8dbc6e2bce061bde4ce5207481f8c1f50a97c5e1</id>
<content type='text'>
This reverts commit 25a1956841b818f2caa6ea5cfd9b1f9daa0d6443.
</content>
</entry>
<entry>
<title>Prioritize HTML source failures</title>
<updated>2026-07-31T22:51:27+00:00</updated>
<author>
<name>adelon</name>
<email>22380201+adelon@users.noreply.github.com</email>
</author>
<published>2026-07-31T22:51:27+00:00</published>
<link rel='alternate' type='text/html' href='https://git.adelon.net/felix.git/commit/?id=25a1956841b818f2caa6ea5cfd9b1f9daa0d6443'/>
<id>urn:sha1:25a1956841b818f2caa6ea5cfd9b1f9daa0d6443</id>
<content type='text'>
</content>
</entry>
</feed>
