Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 62f2823 🚀

github-actions[bot]pushed 1 commit to gh-pages • 406d5ad…7cfee00 • 
5 days ago

Bump version.

tootspushed 1 commit to master • e5edcb7…62f2823 • 
5 days ago

cut changelog time.

tootspushed 1 commit to master • 51637d2…e5edcb7 • 
5 days ago

Deploying to gh-pages from @ 51637d2 🚀

github-actions[bot]pushed 1 commit to gh-pages • afcc12b…406d5ad • 
9 days ago

make sedlex compatible with ppxlib.0.36 (#166)

Pull request merge
tootspushed 1 commit to master • 10ef6d2…51637d2 • 
9 days ago

Try this.

tootspushed 1 commit to master • 8836cac…10ef6d2 • 
27 days ago

Clenaup CI

tootspushed 1 commit to master • 023635a…8836cac • 
on Nov 1, 2024

Update ci (#164)

Pull request merge
tootspushed 1 commit to master • c8156d1…023635a • 
on Nov 1, 2024

fix formatting (#161)

Pull request merge
tootspushed 1 commit to master • 0979a35…c8156d1 • 
on Nov 1, 2024

Deploying to gh-pages from @ 5cb9ec0 🚀

github-actions[bot]pushed 1 commit to gh-pages • 20d2143…afcc12b • 
on Oct 29, 2024

Add PR

tootspushed 1 commit to master • 5cb9ec0…0979a35 • 
on Oct 29, 2024

Release 3.3!

tootspushed 1 commit to master • da551b9…5cb9ec0 • 
on Oct 29, 2024

Deploying to gh-pages from @ da551b9 🚀

github-actions[bot]pushed 1 commit to gh-pages • 4341abc…20d2143 • 
on Oct 23, 2024

Deleted branch

tootsdeleted unicode-16 • 
on Oct 23, 2024

Add support for unicode 16.0.0. (#157)

Pull request merge
tootspushed 1 commit to master • df4a52c…da551b9 • 
on Oct 23, 2024

Put this back.

tootspushed 1 commit to unicode-16 • a7c4c91…eea50d2 • 
on Oct 21, 2024

Revert this.

tootspushed 1 commit to unicode-16 • bd2a44e…a7c4c91 • 
on Oct 21, 2024

Remove this.

tootspushed 1 commit to unicode-16 • 91fa819…bd2a44e • 
on Oct 21, 2024

Add PR review comment.

tootspushed 1 commit to unicode-16 • 975e541…91fa819 • 
on Oct 21, 2024

Merge remote-tracking branch 'origin/master' into unicode-16

tootspushed 2 commits to unicode-16 • d93aeb6…975e541 • 
on Sep 17, 2024

Deploying to gh-pages from @ df4a52c 🚀

github-actions[bot]pushed 1 commit to gh-pages • af72144…4341abc • 
on Sep 17, 2024

Improve regressions (#159)

Pull request merge
tootspushed 1 commit to master • ccd3dea…df4a52c • 
on Sep 17, 2024

stay as restrictive as possible (#158)

Pull request merge
tootspushed 1 commit to unicode-16 • 78af0c6…d93aeb6 • 
on Sep 17, 2024

Revert this.

tootspushed 1 commit to unicode-16 • 7cd4825…78af0c6 • 
on Sep 16, 2024

Revert this.

tootspushed 1 commit to unicode-16 • 1890724…7cd4825 • 
on Sep 16, 2024

Revert this.

tootspushed 1 commit to unicode-16 • bcab433…1890724 • 
on Sep 16, 2024

Revert this.

tootspushed 1 commit to unicode-16 • 18456fb…bcab433 • 
on Sep 16, 2024

Revert this.

tootspushed 1 commit to unicode-16 • 502d08f…18456fb • 
on Sep 16, 2024

More stuff.

tootspushed 1 commit to unicode-16 • 8a37c6b…502d08f • 
on Sep 16, 2024

Add support for unicode 16.0.0.

tootscreated unicode-16 • 8a37c6b • 
on Sep 16, 2024