10 Commits

Author	SHA1	Message	Date
Martin Sosic	369ab16586	Added ormolu to CI.	2021-04-28 17:44:00 +02:00
Martin Sosic	c755f3b7cc	Small optimizations/comments on github CI workflow caching.	2021-04-25 09:49:29 +02:00
Martin Sosic	0d98334c88	Fixed GH actions. They now fully work, with releases.	2021-04-25 08:44:48 +02:00
Martin Sosic	08c08d3067	Updated GH actions and added release to them.	2021-04-23 23:06:35 +02:00
Martin Sosic	6419b21598	Fixed ci.yaml when deleting non existent folder.	2020-11-14 12:49:01 +01:00
Martin Šošić	64e4685bc0	Fixed how we do caching in GA. (#139)	2020-11-14 12:44:52 +01:00
Martin Šošić	b30dfe9079	Fixed previous mistake	2020-11-14 10:41:02 +01:00
Martin Šošić	516e7d510b	Made versions in ci.yaml more flexible.	2020-11-14 10:39:26 +01:00
Yanis Zafirópulos	ab1b59557e	Added Github actions CI workflow, to replace Travis/Appveyor in near future (#133). ... * added previous ci.yaml * removed redundant comments * renamed job: cleanup -> cancel * removed `--no-terminal` * removed Checkout step * switched to cancel-workflow-action@0.6.0 + removed the need for a workflow_id * removed cache-dependencies id (if you don't test for the cache, there's no need for a step id either) * Update .github/workflows/ci.yaml Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> * Update .github/workflows/ci.yaml Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> * Update .github/workflows/ci.yaml Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> * Update .github/workflows/ci.yaml Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> * Update .github/workflows/ci.yaml Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> * Update .github/workflows/ci.yaml Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> * Various fixes * Final polish. Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> Co-authored-by: Martin Sosic <sosic.martin@gmail.com>	2020-11-12 17:21:44 +01:00
Yanis Zafirópulos	bf160e23bb	Generic templates and Code of Conduct (#131) ... * added code_of_conduct * added generic issue templates (for bugs & feature requests) * added generic PR template * Update CODE_OF_CONDUCT.md Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com> Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>	2020-11-11 16:34:29 +01:00