-
[Chore] Bump morley to latest release and update deprecation's warnings 0 of 8 checklist items completed!57
- Merged
- Approved
updated -
[Chore] Update to LTS-21 0 of 8 checklist items completed!56
- Merged
- 2
- Approved
updated -
[Chore] Update morley &c 0 of 8 checklist items completed!55
- Merged
- Approved
updated -
[Chore] Fix CI syntax 2 of 8 checklist items completed!54
- Merged
- Approved
updated -
[Chore] Improve visibility of website warning 2 of 8 checklist items completed!53
- Merged
- Approved
updated -
[Chore] Add warnings for the upcoming deprecation 4 of 8 checklist items completed!51
- Merged
- Approved
updated -
[Chore] Bump morley 2 of 8 checklist items completed!52
- Merged
- 5
- Approved
updated -
[#58] Updates for jakarta and GHC-9 0 of 8 checklist items completed!41
- Merged
- 9
- Approved
updated -
[Chore] Flakify indigo 0 of 8 checklist items completed!50
- Merged
- Approved
updated -
[Chore] Simplify CI dependency management 2 of 8 checklist items completed!48
- Merged
- Approved
updated -
[Chore] Update to morley-1.19.0 0 of 8 checklist items completed!47
- Merged
- 7
- Approved
updated -
[Chore] Update xrefcheck to v0.2.2 2 of 8 checklist items completed!44
- Merged
- 1
- Approved
updated -
[Chore] CI fixes 0 of 8 checklist items completed!46
- Merged
- Approved
updated -
[#59] Add emit instruction 0 of 8 checklist items completed!43
- Merged
- 10
- Approved
updated -
[Chore] Bump morley &c versions 2 of 8 checklist items completed!42
- Merged
- 5
- Approved
updated -
[Chore] Use newer nix in all CI steps 2 of 8 checklist items completed!40
- Merged
- Approved
updated -
[#40] Add xrefcheck step to CI 5 of 8 checklist items completed!39
- Merged
- 3
- Approved
updated -
[#43] Re-enable tutorial builds on CI 5 of 8 checklist items completed!38
- Merged
- 1
- Approved
updated -
[morley-#383] Bump lorentz version, update `failCustom` 9 of 9 checklist items completed!15
- Merged
- 7
- Approved
updated -
[#45] Run docker as user 0 of 9 checklist items completed!37
- Merged
- Approved
updated