Eelco Dolstra 56df30cd3f Merge pull request #2995 from tweag/post-build-hook ... Add a post build hook		2019-08-07 15:02:29 +02:00
..
advanced-topics.xml	Merge pull request #2995 from tweag/post-build-hook	2019-08-07 15:02:29 +02:00
cores-vs-jobs.xml	docs: document balancing cores and max-jobs	2019-07-19 08:28:44 -04:00
diff-hook.xml	diff hook: execute as the build user, and pass the temp dir	2019-05-12 13:17:26 -04:00
distributed-builds.xml	docs: Mention --max-jobs 0 to build remotely only	2019-03-31 03:57:45 +02:00
post-build-hook.xml	post-build-hook: docs fixup	2019-08-06 14:26:43 -04:00