Jason Gross

It should be possible to have matchers deduplicate identical annotations

6

If I have workflow with multiple jobs (e.g., testing C code with multiple versions of gcc), if the same warning/annotation comes up multiple times in different jobs, I want it...

Comparison with schwab-api?

1

I'm trying to decide whether to use this package or [schwab-api](https://pypi.org/project/schwab-api/). Would it be possible to document a comparison in the README or similar?

It would be nice to support histograms such as: ```python import numpy as np from typing import Optional import plotly.express as px def weighted_histogram(data, weights, num_bins: Optional[int] = None, **kwargs):...

Work around https://github.com/ubernostrum/webcolors/commit/68ba427417b6065684a162f1484c45886a401a85 / https://github.com/ubernostrum/webcolors/issues/20

This avoids ``` AttributeError: `np.float_` was removed in the NumPy 2.0 release. Use `np.float64` instead. ```

[DO NOT MERGE] Test PR for coqbot minimize

10

This is a test PR for coqbot minimization

[Feature Request] Set Debug {Cbn,Simpl,Lazy} like Set Debug Cbv

4

#### Description of the problem `Set Debug Cbv` is useful. It would be nice to have similar things for `lazy`, `cbn`, `simpl`. See also #7019 cc @herbelin ? #### Coq...

enable VM on CI

2

> > Doesn't Coq CI check coqchk though? > > By default coqchk ignores the VM data. Maybe we should enable the VM on the CI? _Originally posted by @JasonGross...