tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-04 15:17:34 +03:00
Code Issues Projects Releases Wiki Activity
1,942 Commits 115 Branches 18 Tags 52 MiB
bec5543533
Commit Graph

61 Commits

Author SHA1 Message Date
Avi Dessauer
bec5543533 Address review 2022-01-04 12:52:32 -05:00
Avi Dessauer
f1d6f62a6d Address review 2022-01-04 12:28:36 -05:00
Avi Dessauer
6453200483 Fix: #532, only test on rust stable channel 2022-01-04 10:42:49 -05:00
Rok Garbas
d8fa7c3ec2
removing the website_ref since it is not needed anymore 2022-01-03 18:20:36 +01:00
Rok Garbas
789c699266
Extend deploy.yml workflow from master branch of the website 2022-01-03 17:56:39 +01:00
Mathieu Boespflug
bc6786de05 Replace website.yml GitHub Actions workflow 
The new workflow is only for deploy previews. It never deploys to
production. To avoid duplication of workflows across repos, it reuses
the deploy workflow in tweag/nickel-lang.org.
 2021-12-31 18:36:25 +02:00
Mathieu Boespflug
be5c322e61 Remove update-wasm-repl GitHub Actions workflow 
This workflow is obsolete.
 2021-12-31 16:50:20 +02:00
Yann Hamdaoui
c94a4c3a6c Add to Github tags 2021-11-03 12:07:06 +01:00
Yann Hamdaoui
5d133bbacf Bump nix-install action to fix a bug on macOS 2021-11-02 15:33:39 +01:00
Yann Hamdaoui
1e54c73a8d Update and simplify flakes-based workflow 2021-11-02 14:15:02 +01:00
Rok Garbas
5504f1e879
typo 2021-09-28 23:41:32 +02:00
Rok Garbas
fc3cc03640
Redirect website to HTTPS 2021-09-28 23:27:00 +02:00
Yann Hamdaoui
0a5358d2be Keep the WASM REPL up-to-date in master 2021-09-01 09:25:46 +02:00
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
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