Tags

Tags give the ability to mark specific points in history as being important

v0.4.28
protected

e29fc9f5 · Merge branch 'christian@nitrile_locked' into 'main' · Jul 23, 2025
```
v0.4.28
```
Unverified
v0.4.27
protected

482d7176 · Hotfix: only error when registry is not downloaded when it is actually needed · Jun 23, 2025
```
v0.4.27
```
Unverified
v0.4.26
protected

a341d570 · Merge branch 'add-nickel-to-nitrile-bin-files' into 'main' · Feb 12, 2025
```
v0.4.26
```
Unverified
v0.4.25
protected

3b275a80 · Merge branch 'nickel' into 'main' · Jan 17, 2025
```
v0.4.25
```
Unverified
v0.4.24
protected

562aa482 · Merge branch 'base-3' into 'main' · Jul 18, 2024
```
v0.4.24
```
Unverified
v0.4.23
protected

a3f8653e · Merge branch 'config-parsing-enhancement' into 'main' · May 31, 2024
```
v0.4.23
```
Unverified
v0.4.22
protected

e815dc64 · Merge branch '61-enable-check_indices-by-default-at-least-for-tests' into 'main' · May 28, 2024
```
v0.4.22
```
Unverified
v0.4.21
protected

3c6c90b4 · Merge branch '60-use-https-ssl-for-all-api-calls' into 'main' · Mar 20, 2024
```
v0.4.21
```
Unverified
v0.4.20
protected

9140926c · Merge branch 'package_libz3_next_to_binary' into 'main' · Jan 27, 2024
```
v0.4.20
```
Unverified
v0.4.19
protected

5da2aa8c · Bump version to v0.4.19 · Jan 18, 2024
```
v0.4.19
```
Unverified
v0.4.18
protected

c06121e1 · Merge branch 'fix-dependency-sources-with-cache' into 'main' · Dec 13, 2023
```
v0.4.18
```
Unverified
v0.4.17
protected

36576e41 · Merge branch 'fix-script-tests' into 'main' · Dec 11, 2023
```
v0.4.17
```
Unverified
v0.4.16
protected

5d4645a7 · Merge branch 'fix-compilation-tests' into 'main' · Dec 08, 2023
```
v0.4.16
```
Unverified
v0.4.15
protected

bc392b45 · Merge branch 'test-only-use-sources-in-compilation-tests' into 'main' · Dec 08, 2023
```
v0.4.15
```
Unverified
v0.4.14
protected

7068f37a · Merge branch 'fix-unset-path-in-test-scripts' into 'main' · Nov 28, 2023
```
v0.4.14
```
Unverified
v0.4.13
protected

afdb76fa · Merge branch '52-dependency-shorthands' into 'main' · Nov 24, 2023
```
v0.4.13
```
Unverified
v0.4.12
protected

36b3e56b · Merge branch '24-recognize-windows-exit-codes' into 'main' · Nov 23, 2023
```
v0.4.12
```
Unverified
v0.4.11
protected

cefb17c4 · Merge branch '50-testing-with-optional-dependencies' into 'main' · Nov 23, 2023
```
v0.4.11
```
Unverified
v0.4.10
protected

1a2a2c61 · Merge branch 'add-allow_undecidable_instances' into 'main' · Jun 01, 2023
```
v0.4.10
```
Unverified
v0.4.9
protected

45b18bf7 · Merge branch 'add-command-line-arguments-to-actions' into 'main' · May 18, 2023
```
v0.4.9
```
Unverified

Previous
1
2
3
4
Next