Reynir Björnsson reynir · he/him/his
  • Joined on 2024-08-21
reynir pushed to main at robur/builder-web 2025-02-05 15:02:05 +00:00
3333121984 Fix cachet version
reynir pushed to main at robur/builder-web 2025-02-05 15:00:05 +00:00
f33bb55eb7 Update owee->cachet change in solo5-elftool
reynir deleted branch solo5-elftool.0.4.0 from robur/builder-web 2025-02-05 14:57:51 +00:00
reynir merged pull request robur/builder-web#17 2025-02-05 14:57:48 +00:00
Upgrade to solo5-elftool 0.4.0
reynir pushed to main at robur/builder-web 2025-02-05 14:57:48 +00:00
2ff5e7c5a9 Merge pull request 'Upgrade to solo5-elftool 0.4.0' (!17) from solo5-elftool.0.4.0 into main
b5470e7866 Upgrade to solo5-elftool 0.4.0
Compare 2 commits »
reynir created pull request robur/builder-web#17 2025-02-04 19:13:35 +00:00
Upgrade to solo5-elftool 0.4.0
reynir created branch solo5-elftool.0.4.0 in robur/builder-web 2025-02-04 19:13:03 +00:00
reynir pushed to solo5-elftool.0.4.0 at robur/builder-web 2025-02-04 19:13:03 +00:00
b5470e7866 Upgrade to solo5-elftool 0.4.0
reynir pushed to main at robur/ocaml-solo5-elftool 2025-02-04 18:32:14 +00:00
6c03f5b8ed robur.io -> robur.coop
12af28bc3f Prepare for release v0.4.0
129f2b483b Update interface documentation
Compare 3 commits »
reynir pushed tag v0.4.0 to robur/ocaml-solo5-elftool 2025-02-04 18:26:15 +00:00
reynir pushed to gh-pages at robur/ocaml-solo5-elftool 2025-02-04 18:26:12 +00:00
bfec14e10f Update solo5-elftool doc to 0.4.0.
reynir pushed to main at robur/builder-web 2025-02-04 17:56:48 +00:00
d6c0cd12ac Merge pull request 'Update to mirage-crypto-rng>=1.2.0' (!16) from fix-mirage-crypto into main
de38c3674b Update to mirage-crypto-rng>=1.2.0
Compare 2 commits »
reynir deleted branch fix-mirage-crypto from robur/builder-web 2025-02-04 17:56:47 +00:00
reynir merged pull request robur/builder-web#16 2025-02-04 17:56:45 +00:00
Update to mirage-crypto-rng>=1.2.0
reynir created pull request robur/builder-web#16 2025-02-04 12:56:24 +00:00
Update to mirage-crypto-rng>=1.2.0
reynir pushed to fix-mirage-crypto at robur/builder-web 2025-02-04 10:39:58 +00:00
de38c3674b Update to mirage-crypto-rng>=1.2.0
reynir created branch fix-mirage-crypto in robur/builder-web 2025-02-04 10:39:57 +00:00
reynir deleted branch solo5-elftool-constraint from robur/builder-web 2025-02-04 10:15:08 +00:00
reynir pushed to main at robur/builder-web 2025-02-04 10:15:04 +00:00
811e468d93 Merge pull request 'Add upper bound on solo5-elftool' (!15) from solo5-elftool-constraint into main
31686d90c7 Add upper bound on solo5-elftool
Compare 2 commits »
reynir merged pull request robur/builder-web#15 2025-02-04 10:15:03 +00:00
Add upper bound on solo5-elftool