2024-10-30T05:02:42Z - 2025-01-30T05:02:42Z
Overview
11 pull requests merged by 3 users
Merged
#14 Inline owee unix dependent code
Merged
#13 Work around dream-encoding footgun
Merged
#12 Add compression via content-encoding
Merged
#11 Add more json to endpoints, populate-local.sh
Merged
#10 Endpoint for builder exec asn.1 data
Merged
#9 Use custom labels for the diffs
Merged
#8 diff view: translate \n to <br>
Merged
#7 Compute and present the opam file differences as a unified diff
Merged
#6 Make json structure uniform
Merged
#5 Add Json API to some endpoints
Merged
#4 update to uuidm 0.9.9 deprecations