msakai / toysolver / 778

Builds Branch Commit Type Ran Committer Via Coverage
778 master Merge pull request #198 from msakai/feature/ci-parallel-compilation CI: Pass --ghc-options=-j to stack when builing toysolver package push web-flow github
71.58
774 HEAD Merge 9564a3d89 into f0183a294 push web-flow github
71.28
773 master Merge pull request #197 from msakai/feature/replace-build-artifact-with-github-actions-script Replace misc/build_artifacts.hs with shell scripts in .github/workflows/build.yaml push web-flow github
71.54
772 HEAD Merge 3d6f9bbdf into 3970d356f push web-flow github
71.69
771 HEAD Merge ca4ec2d27 into 3970d356f push web-flow github
71.6
770 HEAD Merge 9bcb132cd into 3970d356f push web-flow github
71.89
769 master Merge pull request #196 from msakai/feature/warn-o-lines-for-pbs Warn if o-line(s) exist in a log for a PBS problem push web-flow github
71.74
768 HEAD Merge 5ed5094c2 into c10d256d2 push web-flow github
71.7
767 HEAD Merge f4d92f6d1 into c10d256d2 push web-flow github
71.85
766 HEAD Merge 9b032e06d into c10d256d2 push web-flow github
71.69
765 master Merge pull request #194 from msakai/feature/release-linux-static-binaries Build statically linked Linux binaries push web-flow github
71.91
764 HEAD CI: include linux-x86_64-static binaries into releases Pull #194 msakai github
71.75
763 HEAD Merge a76c5cd55 into e53dffac9 push web-flow github
71.05
762 HEAD Merge d98866bb0 into e53dffac9 push web-flow github
70.95
761 HEAD Merge a75d2c4c5 into e53dffac9 push web-flow github
71.83