Skip to content

Activity

Showing most recent first

Replace OUnit2 with Alcotest

Leonidas-from-XIVcreated alcotest • 6900e4c • 
on Jan 26, 2024

Deleted branch

Leonidas-from-XIVdeleted update-gh-ci • 
on Jan 26, 2024

Update Github actions and add formatting linter (#53)

Pull request merge
Leonidas-from-XIVpushed 1 commit to master • 35e1092…06d2a82 • 
on Jan 26, 2024

Update Github actions and add formatting linter

Leonidas-from-XIVcreated update-gh-ci • 8ea8106 • 
on Jan 25, 2024

Reformat with ocamlformat & jq

Force push
Leonidas-from-XIVforce pushed to master • 0e13d91…35e1092 • 
on Jan 25, 2024

Reformat with ocamlformat & jq

Leonidas-from-XIVpushed 2 commits to master • afc683c…0e13d91 • 
on Jan 25, 2024

Merge pull request #51 from pm5/fix-notify

Pull request merge
Leonidas-from-XIVpushed 8 commits to master • 87fbd00…afc683c • 
on Jan 25, 2024

Merge pull request #52 from pm5/fix-conversation-type

Pull request merge
Leonidas-from-XIVpushed 4 commits to master • 1dbc151…87fbd00 • 
on Aug 30, 2023

Deleted branch

Leonidas-from-XIVdeleted let-ops • 
on Jun 5, 2023

Merge pull request #50 from Leonidas-from-XIV/let-ops

Pull request merge
Leonidas-from-XIVpushed 2 commits to master • 40e7ba0…1dbc151 • 
on Jun 5, 2023

Replace lwt_ppx with let-syntax

Leonidas-from-XIVcreated let-ops • 907b9a4 • 
on Jun 5, 2023

Fix branch name in shield

Leonidas-from-XIVpushed 1 commit to master • 540f0a3…40e7ba0 • 
on Jun 5, 2023

Deleted branch

Leonidas-from-XIVdeleted remove-result • 
on Jun 5, 2023

Merge pull request #49 from Leonidas-from-XIV/remove-result

Pull request merge
Leonidas-from-XIVpushed 3 commits to master • 44ec0f1…540f0a3 • 
on Jun 5, 2023

Deleted branch

Leonidas-from-XIVdeleted osx • 
on Jun 5, 2023

Remove references to Result module

Leonidas-from-XIVpushed 1 commit to remove-result • 144576d…e4d072b • 
on Jun 5, 2023

Remove result dependency

Leonidas-from-XIVcreated remove-result • 144576d • 
on Jun 5, 2023

Merge pull request #47 from pm5/fix-auth

Pull request merge
Leonidas-from-XIVpushed 7 commits to master • 3225ea3…44ec0f1 • 
on Jun 5, 2023

Deleted branch

Leonidas-from-XIVdeleted updated-badges • 
on Jun 5, 2023

Merge pull request #48 from Leonidas-from-XIV/updated-badges

Pull request merge
Leonidas-from-XIVpushed 2 commits to master • ef92194…3225ea3 • 
on Jun 5, 2023

Update badge, there is no Travis anymore

Force push
Leonidas-from-XIVforce pushed to updated-badges • 9af777c…8b1126a • 
on Jun 2, 2023

fixup! Update badge, there is no Travis anymore

Leonidas-from-XIVpushed 1 commit to updated-badges • c30382f…9af777c • 
on Jun 2, 2023

Update badge, there is no Travis anymore

Leonidas-from-XIVcreated updated-badges • c30382f • 
on Jun 2, 2023

Deleted branch

Leonidas-from-XIVdeleted ounit2 • 
on Jun 1, 2023

Merge pull request #46 from Leonidas-from-XIV/ounit2

Pull request merge
Leonidas-from-XIVpushed 2 commits to master • fa56190…ef92194 • 
on Jun 1, 2023

Fix up the ounit2 version

Leonidas-from-XIVcreated ounit2 • 42a5125 • 
on Jun 1, 2023

Merge pull request #45 from pm5/fix-deps

Pull request merge
Leonidas-from-XIVpushed 3 commits to master • 72ed05a…fa56190 • 
on Jun 1, 2023

Merge pull request #44 from pm5/fix-cmdliner

Pull request merge
Leonidas-from-XIVpushed 4 commits to master • 466a5cd…72ed05a • 
on Jun 1, 2023