Nix CI for bundle 8.13

Merge pull request #51 from rocq-community/thery-patch-1 #49

Sign in to view logs

Summary
Jobs
- coq
- huffman
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	28s
huffman	23s
	51s