Back to pull request #63

Adapt w.r.t. coq/coq#19228. (#62) #219

Sign in to view logs

Summary
Jobs
- 3.11
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
3.11	1m 28s
	1m 28s