-
adaptions required for running in a serverless cloud environment 3 of 3 checklist items completed!23
- Merged
- 6
updated -
Remove libz3-4 from Linux dependencies (is now bundled with nitrile) 2 of 3 checklist items completed!24updated
-
Remove experimental feature from install.ps1 (is now stable) 2 of 3 checklist items completedupdated
-
Enable exit code experimental pwsh feature 3 of 3 checklist items completed!21
- Merged
- 1
updated -
Install pwsh on Windows 3 of 3 checklist items completed
- Merged
- 2
updated -
fix script checking for stalled jobs 3 of 3 checklist items completed!20updated
-
Resolve "Nitrile requirements should include linker" 3 of 3 checklist items completed!19updated
-
Hide patch versions that are not the latest in a minor version by default 3 of 3 checklist items completed!17updated
-
Add instructions for updating an existing Nitrile installation 3 of 3 checklist items completed!14
- Merged
- 1
updated -
Resolve "retrieving packages crashes with "Character set 'utf8' unsupported"" 3 of 3 checklist items completed!16updated
-
Add deprecated field 3 of 3 checklist items completed!15
- Merged
- 3
updated -
Add optional dependencies 3 of 3 checklist items completed!13updated
-
Adapt nitrile install scripts as a result of changes in nitrile directory structure. 3 of 3 checklist items completed!12updated
-
Add option to windows installation script to install a specific nitrile version 3 of 3 checklist items completedupdated
-
Fix Windows install script; force installation of chocolatey dependencies 3 of 3 checklist items completed!10
- Merged
- 2
updated -
add vcredist140 to the dependencies in install.ps1 3 of 3 checklist items completed!6updated
-
Add git refs 3 of 3 checklist items completed!9
- Merged
- 3
updated -
fix usage of -p option of mysql; there may be no space between the -p and the password 3 of 3 checklist items completed!8updated
-
add a script to check for stalled jobs 3 of 3 checklist items completed!7
- Merged
- 1
updated -
Fetch latest undone job instead of oldest 3 of 3 checklist items completed!5
- Merged
- 2
updated