CI

feat: CornelisTerminationProblem, CornelisPositivityProblem #197

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Stack Windows / Build	2m 46s
Nix Linux / Build package (ghc94)	10m 33s
Nix Linux / Build package (ghc92)	3m 47s
Nix Linux / Build package (ghc810)	10m 49s
Nix Linux / Build package (ghc96)	9m 57s
Nix Linux / Build Vim plugin	23s
Stack Linux / Build	35s
Stack Linux / Test	3m 37s
Stack Windows / Test	1h 11m 50s
	1h 54m 17s