see https://github.com/coq/coq/pull/17707

the problem is https://github.com/coq/coq/pull/17628 getting merged without refreshing CI after https://github.com/coq/coq/pull/17117 which changed the output of the new test

I don't know why

```
Notation "'φ' x" := (id x) (at level 0) .
Check (φ 0).
```

prints `φ (O)`

now but it does

could someone merge https://github.com/coq/coq/pull/17707 ?

Done

Last updated: Oct 13 2024 at 01:02 UTC