Ability to specify average runs for some jobs in order to reduce noise
Line by line profile comparison in order to see local speedups
Notes
RM for 8.15 will be Gaëtan Gilbert. Planning for 8.15 in January since we branched since a long time and we would rather keep with the current January - June/July releases.
Bug Squashing party: probably happening using Discord for synchronisation, Ali and Emilio will propose dates.
Theo: We used to have better social events
We need more labelling and sorting of issues
Main issues with issues: man power, tooling and organization
Document standard error messaging practices
Specifically they should end with a period.
Changing ocaml versions in CI to min max seems to be sensible
Improving benchmarks:
Keeping data from old benches in order to anticipate noise etc.
Opam packages are broken (specifically VST depending on floq)
coqbot should give bench info
PMP has scripts for getting line info that should be artifacted