Skip to content

Tags: colis-anr/morbig

Tags

v0.11.0

Toggle v0.11.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Bump version to 0.11.0 (#150)

0.10.4

Toggle 0.10.4's commit message 
Remove trailing debugging code.

0.10.3

Toggle 0.10.3's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
check depends on build

0.10.2

Toggle 0.10.2's commit message 
Bump version.

0.10.1

Toggle 0.10.1's commit message 
Correct version.

0.10

Toggle 0.10's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #67 from colis-anr/cst-cleanup

Cst cleanup

v0.9.1

Toggle v0.9.1's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
remove {build} flag for menhir as we use the menhirLib

v0.9

Toggle v0.9's commit message 
Add an extra package in the Docker image.