iwatachan

RTE does not work with the newer version of Coq

1

## 問題点 ~~明らかに含意しているのに`rte_ja.sh`の出力が`unknown`となってしまいます。\ Coqについて勉強不足で、何が問題なのか分かりませんでした。~~ ReadmeでCoqのバージョンが指定されておらず、かつ最新のCoq8.11でRTEが動作しません。 ## 環境 - python: 3.7.9 - coq: 8.11.2 - ccg2lambda: master branch (442a9ec9be7393d92c77a03856aa4a9c71c20078) - OS: WSL Ubuntu20.04 ## やったこと 1. Readmeに書いてあるセットアップをしました。 1. 日本語のRTEを行うために、`emnlp2016exp.sh`を参考にして以下のセットアップを行いました。 ``` cp...

### Related issues ### [REQUIRED] Version info **node:** 16 **firebase-functions:** 3.22.0 **firebase-tools:** 10.6.0 **firebase-admin:** 10.0.2 ### [REQUIRED] Test case If a TypeError occurs, the Cloud Logging log will have multiple...

# Bug report - Extension name: `firestore-stripe-payments` (At least) ## Describe the bug pagination should be required to get the list data with [stripe api](https://stripe.com/docs/api/pagination) and [sdk](https://github.com/stripe/stripe-node#auto-pagination) but it appears...

[RRFC] Add a field to package.json recommending that the package be unique.

3

## Motivation ("The Why") There can be a problem when multiple versions of a package in dependencies. but we generally find it difficult to issue warnings without false positives. However,...

feat: support any conference

1

まだrulesに無いミーティングツールのアドオンやプライベートなアドオンによってGoogle Calendarにミーティングが追加された任意のミーティングが起動できるように

`auth/invalid-api-key` error will occur if it is not set, even when using the auth emulator

7

### [REQUIRED] Describe your environment * Operating System version: Windows 10 * Browser version: _____ * Firebase SDK version: 9.13.0 * Firebase Product: auth ### [REQUIRED] Describe the problem same...

### Extension Version 0.20251202.1 ### VS Code Version 1.103.2 ### Operating system Version Linux Mint 22.2 Zara ### Steps to reproduce 1. Paste the following code into VS Code. 2....