Skip to content

Activity

Deleted branch

aherrmanndeleted version-bounds • 
on Jul 2, 2024

Merge pull request #107 from tweag/version-bounds

Pull request merge
aherrmannpushed 2 commits to master • 09ccf67…8bc0579 • 
on Jul 2, 2024

Bump lens bound

aherrmanncreated version-bounds • 7cfbb6e • 
on Jul 2, 2024

Deleted branch

aherrmanndeleted version-bounds • 
on Jan 8, 2024

Merge pull request #106 from tweag/version-bounds

Pull request merge
aherrmannpushed 2 commits to master • f08e0e0…09ccf67 • 
on Jan 8, 2024

Bump version bounds for constraints and primitive

aherrmanncreated version-bounds • 1bff2c4 • 
on Jan 4, 2024