-
[#747] Add errorDocArg, deprecate errorDoc 3 of 8 checklist items completed!1111
- Merged
- 3
- Approved
updated -
[Chore] Merge `ithaca` branch in `master` 8 of 8 checklist items completed!1110
- Merged
- 9
- Approved
updated -
[#782] Fix conflicting Danger CI steps 1 of 8 checklist items completed!1109
- Merged
- 7
- 1
- Approved
updated -
[#712] Remove support for the deprecated morley extensions 0 of 8 checklist items completed!1108
- Merged
- 72
- Approved
updated -
[#791] Fix redundant `SDecide Nat` constraint warning 8 of 8 checklist items completed!1107
- Merged
- 3
- Approved
updated -
[#720] Allow code entry take single command 7 of 8 checklist items completed!1106
-
[Chore] Fix nix-with-docker steps in CI pipelines 2 of 8 checklist items completed!1105
- Merged
- Approved
updated -
[#762] Use clearer notation for (-$) 4 of 8 checklist items completed!1104
- Merged
- 1
- Approved
updated -
[Chore] Fix HLint config and clean-up imports 3 of 8 checklist items completed!1103
- Merged
- 3
- Approved
updated -
[#613] Reduce the number of `originate*` functions 8 of 8 checklist items completed!1102
-
[#786] Export sopSetField and sopGetField from Lorentz.StoreClass 2 of 8 checklist items completed!1101
- Merged
- Approved
updated -
[#765] Support MAP over option 3 of 8 checklist items completed!1100 ithaca
- Merged
- 8
- Approved
updated -
[#756] Various late-time fixes for debugger 8 of 8 checklist items completed!1099
- Merged
- 8
- Approved
updated -
-
[#781] Replace only and except keywords to rules 8 of 8 checklist items completed!1097
- Merged
- 8
- Approved
updated -
[#726] Danger bot: relax commit message constraints 8 of 8 checklist items completed!1096
- Merged
- 4
- Approved
updated -
[#771] Clarify morley commands difference 8 of 8 checklist items completed!1095
- Merged
- 9
- Approved
updated -
[#712] Deprecate morley language extensions 3 of 9 checklist items completed!1094
- Merged
- 26
- Approved
updated -
[Chore] Automatically refill step moneybags 8 of 8 checklist items completed!1093 ithaca
- Merged
- 4
- Approved
updated -
[#779] Add quasiquoter for `Notes t` 7 of 8 checklist items completed!1092
- Merged
- 11
- Approved
updated