Skip to content

Activity

Showing most recent first

deploy: a525d49

github-actions[bot]pushed 1 commit to gh-pages • b429e6a…a103e34 • 
on Feb 5

Deleted tag

c-cubedeleted refs/tags/v1.9 • 
on Feb 5

prepare for 1.9

Force push
c-cubeforce pushed to main • 633c9bd…a525d49 • 
on Feb 5

Update iter doc to 1.9.

c-cubepushed 1 commit to gh-pages • 98e5d62…b429e6a • 
on Feb 5

format

c-cubepushed 2 commits to main • cd2d47f…633c9bd • 
on Feb 5

Switch exceptions used for control flow from global to local

Pull request merge
c-cubepushed 1 commit to main • f9c6c07…cd2d47f • 
on Feb 5

deploy: f9c6c07

github-actions[bot]pushed 1 commit to gh-pages • d02b21f…98e5d62 • 
on Feb 5

fix CI

c-cubepushed 1 commit to main • fc69ce4…f9c6c07 • 
on Feb 5

faster doc build

Force push
c-cubeforce pushed to main • b296e15…fc69ce4 • 
on Jan 10, 2024

faster doc build

c-cubepushed 1 commit to main • d1af13a…b296e15 • 
on Jan 10, 2024

faster CI

Force push
c-cubeforce pushed to main • ea751da…d1af13a • 
on Jan 10, 2024

fix CI

c-cubepushed 1 commit to main • 8ce7f94…ea751da • 
on Jan 10, 2024

faster CI

c-cubepushed 1 commit to main • f0f5396…8ce7f94 • 
on Jan 10, 2024

fix CI after renaming branch to main

c-cubepushed 1 commit to main • 399e95b…f0f5396 • 
on Jan 10, 2024

Deleted branch

c-cubedeleted master • 
on Jan 10, 2024

reformat

c-cubecreated main • 399e95b • 
on Jan 10, 2024

deploy: 92d0022

github-actions[bot]pushed 1 commit to gh-pages • f83ee4b…d02b21f • 
on Jan 9, 2024

reformat

c-cubepushed 1 commit to master • 92d0022…399e95b • 
on Jan 9, 2024

Update Iter.ml to use mutable fields instead of refs (#44)

Pull request merge
c-cubepushed 1 commit to master • 4f47de6…92d0022 • 
on Jan 9, 2024

deploy: 4f47de6

github-actions[bot]pushed 1 commit to gh-pages • 4f285bf…f83ee4b • 
on Nov 16, 2023

prepare for 1.8

c-cubepushed 1 commit to master • 90e44a5…4f47de6 • 
on Nov 16, 2023

Update iter doc to 1.8.

c-cubepushed 1 commit to gh-pages • 6558a4f…4f285bf • 
on Nov 16, 2023

Update iter doc to 1.7-8-g4f47de6.

c-cubepushed 1 commit to gh-pages • 4f0a65d…6558a4f • 
on Nov 16, 2023

try to fix CI

Force push
c-cubeforce pushed to master • d1154ad…90e44a5 • 
on Nov 16, 2023

deploy: d1154ad

github-actions[bot]pushed 1 commit to gh-pages • caefc56…4f0a65d • 
on Nov 16, 2023

try to fix CI

c-cubepushed 1 commit to master • 63c99cf…d1154ad • 
on Nov 16, 2023

Update tests/unit/t_iter.ml

Pull request merge
c-cubepushed 2 commits to master • 67c46b6…63c99cf • 
on Nov 16, 2023

fix(map_by_2): Fixed formatting

Pull request merge
c-cubepushed 2 commits to master • e72026b…67c46b6 • 
on Aug 5, 2023

Merge pull request #41 from mooreryan/build-warnings

Pull request merge
c-cubepushed 2 commits to master • d410860…e72026b • 
on Jun 12, 2023

deploy: d410860

github-actions[bot]pushed 1 commit to gh-pages • 51df417…caefc56 • 
on May 15, 2023