24 Commits

Author	SHA1	Message	Date
Yann Hamdaoui	f958d6391c	Merge pull request #356 from tweag/task/ci-make-nightly-experimental ... [CI]Avoid nightly build to fail the whole workflow	2021-07-01 17:56:57 +02:00
Yann Hamdaoui	413e052ccf	Make building on nightly experimental in the CI	2021-06-02 12:13:26 +02:00
Yann Hamdaoui	14bbb7e850	Merge pull request #349 from tweag/github-settings ... Use GitHub settings to manage project configuration in-repo	2021-05-31 14:56:33 +02:00
Yann Hamdaoui	57ac0f1beb	Add category labels to github settings	2021-05-31 14:56:02 +02:00
Yann Hamdaoui	c309a2acd6	Fire actions only on pull_request or push to master	2021-04-19 15:14:16 +02:00
Yann Hamdaoui	b65a9730f8	Better names for workflows	2021-04-19 12:08:23 +02:00
Yann Hamdaoui	42bbb78272	Rationalize workflows	2021-04-19 11:55:27 +02:00
Mathieu Boespflug	a2d6fd36fc	Use GitHub settings to manage project configuration in-repo ... See https://github.com/tweag/project.	2021-04-19 11:47:56 +03:00
Yann Hamdaoui	c1f1bdbed0	Fix target system in GH actions	2021-03-03 17:28:37 +01:00
Yann Hamdaoui	561a2a711a	Test on MacOS in GitHub actions	2021-03-03 11:11:36 +01:00
Yann Hamdaoui	9de950bb7c	Small fixes and renaming	2021-02-09 15:52:43 +01:00
Yann Hamdaoui	71de5c2092	Fix arguments to the on attribute in GH actions	2021-02-08 19:29:52 +01:00
Yann Hamdaoui	530ce82089	Add missing cachix key in some GH actions	2021-02-08 18:48:58 +01:00
Rok Garbas	b383db46a1	remove some more debugging	2021-02-08 13:02:02 +01:00
Rok Garbas	c9e3da380d	remove debugging	2021-02-07 19:44:38 +01:00
Rok Garbas	efb15c1fbd	separate workflows for PRs and master branch	2021-01-28 20:20:57 +01:00
Yann Hamdaoui	d91e9f2d1c	Set up cachix for gitHub actions	2021-01-28 13:25:27 +01:00
Yann Hamdaoui	3cae682a47	Set the parameters of the GitHub action commiters	2021-01-28 13:17:52 +01:00
Rok Garbas	61ed646ac9	another typo	2021-01-24 11:23:37 +01:00
Rok Garbas	73f803bb65	nixify circleci jobs and run them with github actions	2021-01-24 11:18:00 +01:00
Rok Garbas	41eadd9bf9	ensure we know we are updating rust channels	2021-01-23 19:49:15 +01:00
Rok Garbas	12402d30cd	DEBUG in PR	2021-01-23 19:48:09 +01:00
Rok Garbas	be5a58f3a1	typo	2021-01-23 19:47:39 +01:00
Rok Garbas	5391421543	added update channels script and hook it with github actions	2021-01-15 17:15:03 +01:00