3 Pull requests merged by 1 person

• Use ggrep on Mac for better support

  #299 merged Jul 16, 2025

• Export GREP and grep_contains in init-settings for better grep suppor…

  #300 merged Jul 15, 2025

• Take longer .glob file when passing coqc can't find libraries

  #298 merged Jul 14, 2025

2 Pull requests opened by 1 person

• Take longer .glob file when passing coqc can't find libraries

  #297 opened Jul 14, 2025

• Use strip_for_grep in example 062

  #301 opened Jul 15, 2025

2 Issues closed by 1 person

• globs should be taken from failing coqc by default

  #296 closed Jul 14, 2025

• Require should be absolutized before failing sanity check

  #295 closed Jul 12, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Enable Windows Tests

  #253 commented on Jul 15, 2025 • 0 new comments