Yann Hamdaoui
516860c6b9
Fix workflow
2021-09-01 09:25:18 +02:00
Yann Hamdaoui
35425bc5f5
Restore multi-system support for spec and wasm checks
2021-09-01 00:05:32 +02:00
Yann Hamdaoui
d11fe40879
Remove the WASM check workflow, as the website workflow builds the WASM REPL anyway
2021-09-01 00:01:07 +02:00
Yann Hamdaoui
4f8812ede0
Merge update-wasm-repl workflow in the website deploy workflow
2021-09-01 00:00:03 +02:00
Yann Hamdaoui
9e230465b9
Remove unnecessary ci skip
2021-08-31 23:41:07 +02:00
Yann Hamdaoui
ae817a771d
Renaming
2021-08-31 23:41:07 +02:00
Yann Hamdaoui
8c45511a20
Add workflow to automatically build and update the WASM REPL
2021-08-31 23:41:07 +02:00
Yann Hamdaoui
7fed616155
Check that the WASM REPL build in github workflows
2021-08-31 23:41:07 +02:00
Yann Hamdaoui
b99aa466ff
Fix workflow makam spec
2021-08-31 23:41:07 +02:00
Yann Hamdaoui
96a553c14c
Restore CI builds
2021-08-30 15:49:45 +02:00
Aleksander Gondek
b6b2873666
Github action - stablize daily update of rust channels
...
The git-auto-commit action (https://github.com/stefanzweifel/git-auto-commit-action ) used for pushing changes to master branch is deliberately not supporting runs in build matrices - which means, ocasional conflicts may appear.
For example, if both stable and beta rust channels needs to be updated and both of their respective workflows are executed in parallel, the first one to reach git-auto-commit step wins - the other one fails with error (describing discrepancy between checked-out branch and master).
This change forces build-matrix workflows to run in sequence, preventing such issues from taking place - should more efficient approach be needed, this would have to change.
2021-08-26 11:04:53 +02:00
Aleksander Gondek
3c19f3be5c
Fix daily updates of rust channels
...
This commit makes sure, that daily updates of rust channels will
be persisted in the git repository (as typo was preventing commit
step from doing so).
2021-08-11 13:07:37 +02:00
Yann Hamdaoui
c700580c73
CI: do not fail the whole matrix on an experimental job
2021-08-02 18:56:32 +02:00
Yann Hamdaoui
eefd30b832
Netlify action: restore status, disable comment on pull request
2021-07-08 17:54:12 +02:00
Yann Hamdaoui
cec6b59e48
Disable netlify bot comments
2021-07-07 18:05:00 +02:00
Yann Hamdaoui
735c6b9ce5
Merge pull request #358 from tweag/add-website
...
initial website
2021-07-07 17:25:01 +02:00
Rok Garbas
9cc23adb74
trying to figure out how to return boolean from an github actions expression
2021-07-02 11:17:54 +02:00
Rok Garbas
12db92a05b
Use nwtgck/actions-netlify action to push to Netlify
2021-07-02 11:13:45 +02:00
Yann Hamdaoui
c3a9dc6941
Try to restore the original netlify deploy step
2021-07-02 10:46:44 +02:00
Yann Hamdaoui
26c0dc1580
Try to show the error when deploying
2021-07-02 10:12:41 +02:00
Yann Hamdaoui
f331cda9c8
Remove seemingly useless token from benchmark action
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
24c2f2fd28
WIP workflow
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
cde5f23656
WIP
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
08e601f5cd
Try fix benchmark action
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
2e4b77be8d
Tentative fix benchmark action
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
cd15724fb9
Try fix github action benchmark
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
5da557d98f
Try to fix github actions
2021-07-01 18:00:24 +02:00
Yann Hamdaoui
9e5b04d342
Add action showing benchmarks
2021-07-01 18:00:24 +02:00
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
Rok Garbas
5b674396bf
node version 14 is needed
2021-06-29 12:42:59 +02:00
Rok Garbas
62611af913
set working-directory in website workflow
2021-06-29 12:33:58 +02:00
Rok Garbas
01aa256a0a
build website with github actions and push to netlify
2021-06-29 11:53:19 +02:00
Rok Garbas
7179026096
add a website tag
2021-06-29 11:28:18 +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