Skip to content

Activity

fix with charrua 1.6.0 release (#406)

hannesmpushed 1 commit to dev • fe66d94…c2c98b3 • 
on Dec 12, 2024

fix with charrua 1.6.0 release (#406)

Pull request merge
hannesmpushed 1 commit to main • fe66d94…c2c98b3 • 
on Dec 12, 2024

move runtime arguments out of config.ml (#405)

hannesmpushed 3 commits to dev • 41812ea…fe66d94 • 
on Oct 14, 2024

move runtime arguments out of config.ml (#405)

Pull request merge
hannesmpushed 1 commit to main • e5ae7f8…fe66d94 • 
on Oct 14, 2024

Deleted branch

hannesmdeleted no-openmirage.org • 
on Oct 11, 2024

Merge pull request #404 from mirage/no-openmirage.org

Pull request merge
hannesmpushed 2 commits to main • 41812ea…e5ae7f8 • 
on Oct 11, 2024

Update website in opam file

reynircreated no-openmirage.org • 8939419 • 
on Oct 11, 2024

Merge pull request #403 from hannesm/adjust-params

hannesmpushed 3 commits to main • ffb5d95…41812ea • 
on Oct 11, 2024

Merge pull request #403 from hannesm/adjust-params

Pull request merge
hannesmpushed 3 commits to dev • ffb5d95…41812ea • 
on Oct 10, 2024

Merge pull request #402 from mirage/fix-application-http

hannesmpushed 8 commits to dev • a5a8b0e…ffb5d95 • 
on Sep 30, 2024

Deleted branch

hannesmdeleted fix-application-http • 
on Sep 12, 2024

Merge pull request #402 from mirage/fix-application-http

Pull request merge
hannesmpushed 3 commits to main • 25ddbf4…ffb5d95 • 
on Sep 12, 2024

autoformat

hannesmpushed 1 commit to fix-application-http • a988679…89fb841 • 
on Sep 11, 2024

Upgrade h2 to 0.13.0 and change a bit the API from it

Force push
dinosaureforce pushed to fix-application-http • d32ca2c…a988679 • 
on Sep 11, 2024

Upgrade h2 to 0.13.0 and change a bit the API from it

Force push
dinosaureforce pushed to fix-application-http • adc808f…d32ca2c • 
on Sep 11, 2024

Upgrade h2 to 0.13.0 and change a bit the API from it

Force push
dinosaureforce pushed to fix-application-http • 44495c6…adc808f • 
on Sep 11, 2024

Upgrade h2 to 0.13.0 and change a bit the API from it

Force push
dinosaureforce pushed to fix-application-http • 9166ab8…44495c6 • 
on Sep 11, 2024

Upgrade h2 to 0.13.0 and change a bit the API from it

dinosaurecreated fix-application-http • 9166ab8 • 
on Sep 11, 2024

Merge pull request #400 from hannesm/tls-1

Pull request merge
hannesmpushed 5 commits to main • a5a8b0e…25ddbf4 • 
on Sep 6, 2024

update bounds

hannesmpushed 1 commit to dev • 8a85fbc…a5a8b0e • 
on Jun 26, 2024

update bounds

hannesmpushed 5 commits to main • 493360d…a5a8b0e • 
on Jun 26, 2024

http/git/dns adapt to happy-eyeballs changes (#398)

Pull request merge
hannesmpushed 1 commit to dev • 7138870…8a85fbc • 
on Jun 25, 2024

Merge pull request #396 from hannesm/use-ethif

Pull request merge
hannesmpushed 2 commits to dev • c95c00c…7138870 • 
on May 29, 2024

exclude docteur for a moment from the build

hannesmpushed 1 commit to dev • 493360d…c95c00c • 
on May 27, 2024

Merge pull request #395 from hannesm/add-bounds

hannesmpushed 2 commits to dev • 769b82c…493360d • 
on May 17, 2024

Merge pull request #395 from hannesm/add-bounds

Pull request merge
hannesmpushed 2 commits to main • 769b82c…493360d • 
on May 16, 2024

Merge pull request #393 from hannesm/fix-dhcp-result

hannesmpushed 4 commits to dev • ff5febb…769b82c • 
on May 3, 2024

Merge pull request #393 from hannesm/fix-dhcp-result

Pull request merge
hannesmpushed 2 commits to main • 0f6eb1a…769b82c • 
on Apr 28, 2024

Merge pull request #392 from verbosemode/fix-static-https-ports

Pull request merge
hannesmpushed 2 commits to main • ff5febb…0f6eb1a • 
on Apr 27, 2024

Merge pull request #389 from samoht/newlines

Force push
samohtforce pushed to dev • 8a14b5c…ff5febb • 
on Apr 15, 2024