Denis Merigoux
|
838177f974
|
Finer control over when checks are done
|
2022-02-03 16:12:04 +01:00 |
|
Denis Merigoux
|
d5a84ae09f
|
Make
|
2022-02-03 16:00:46 +01:00 |
|
Denis Merigoux
|
d4664208b7
|
Fix CI file
|
2022-02-03 15:42:39 +01:00 |
|
Denis Merigoux
|
bc42cfc8db
|
Don't clean
|
2022-02-03 15:41:34 +01:00 |
|
Denis Merigoux
|
81cf395a84
|
Removed step to make pygments
|
2022-02-03 14:48:54 +01:00 |
|
Denis Merigoux
|
1bedf87672
|
Checkout before building
|
2022-02-03 14:47:34 +01:00 |
|
Denis Merigoux
|
08a9699949
|
Run make all on self-hosted CI
|
2022-02-02 18:14:25 +01:00 |
|
Denis Merigoux
|
42d79e5169
|
Merge branch 'master' into proof_platform
|
2022-01-21 09:55:34 +01:00 |
|
Alain
|
422482ce37
|
ci run
|
2022-01-20 18:15:13 +01:00 |
|
Louis Gesbert
|
0e1500f8f0
|
An attempt to simplify deps install and CI
from the docs, the setup-ocaml@v2 github action should already handle caching...
|
2022-01-13 12:15:39 +01:00 |
|
Denis Merigoux
|
b2fd09908f
|
Desperately trying to get CI caching
|
2022-01-10 15:06:22 +01:00 |
|
Denis Merigoux
|
b469b70bac
|
Trying to get the cache directory right
|
2022-01-10 12:00:32 +01:00 |
|
Denis Merigoux
|
f08e90bbd9
|
Also cache local opam switch
|
2022-01-10 10:39:36 +01:00 |
|
Denis Merigoux
|
7e3abb73d1
|
Correct github action
|
2022-01-10 09:42:11 +01:00 |
|
Denis Merigoux
|
2e030f99fa
|
Upgrade github actions
|
2022-01-09 19:42:17 +01:00 |
|
Denis Merigoux
|
929deb2359
|
Clean PR and attempt to restore CI
|
2022-01-09 19:37:30 +01:00 |
|
Alain
|
2fb80a6f8a
|
add CI check to nix-unstable
rename check build-nix to build-nix-21.05
|
2021-11-29 11:38:01 +01:00 |
|
Denis Merigoux
|
5ab64d9280
|
Merge pull request #155 from lIlIlIlIIIIlIIIllIIlIllIIllIII/feat/nix-support
tentative nix support
|
2021-11-09 15:19:32 +01:00 |
|
Alain
|
41146e836d
|
fix: change nix channel to build against.
|
2021-11-09 15:09:28 +01:00 |
|
Alain
|
a10a140941
|
fix: typo
|
2021-11-09 15:01:18 +01:00 |
|
Alain
|
5e6215bd45
|
feat: add nix workflow for github actions
|
2021-11-09 14:53:58 +01:00 |
|
Denis Merigoux
|
1a8b5716de
|
Closes #151
Add pygmentize to the list of executables to be present
|
2021-11-06 22:29:19 +01:00 |
|
Denis Merigoux
|
aee7565e15
|
Bump OCaml compiler version for CI
|
2021-11-06 21:54:27 +01:00 |
|
Denis Merigoux
|
47e79de6a7
|
Display backtrace in CI
|
2021-08-19 11:26:48 +02:00 |
|
Denis Merigoux
|
0481181f92
|
Put mypy typing under CI
|
2021-06-24 18:18:25 +02:00 |
|
Denis Merigoux
|
db026c6720
|
Start to implement Python runtime
|
2021-06-21 12:31:46 +02:00 |
|
Denis Merigoux
|
917eaff0c3
|
Update CI rule
|
2021-06-21 11:44:04 +02:00 |
|
Denis Merigoux
|
2b86afc471
|
Good module name
|
2021-05-17 17:46:40 +02:00 |
|
Denis Merigoux
|
ceed5c06a2
|
Give up on ocamlformat in CI
|
2021-03-23 11:41:54 +01:00 |
|
Denis Merigoux
|
46b0900644
|
Try something else
|
2021-03-23 11:34:05 +01:00 |
|
Denis Merigoux
|
5d38b44649
|
Trying 4.11.0
|
2021-03-23 11:20:57 +01:00 |
|
Denis Merigoux
|
cd66c0be86
|
Apparently 4.12.0 is not supported on the CI?
|
2021-03-23 11:18:23 +01:00 |
|
Denis Merigoux
|
115e9c9c4c
|
Bump github CI plugin
|
2021-03-23 11:07:57 +01:00 |
|
Denis Merigoux
|
1ef533126b
|
Bump Ocaml and OCamlformat
|
2021-03-23 10:59:43 +01:00 |
|
Denis Merigoux
|
baaa79c555
|
Fixes #78, as well as various improvements
|
2021-03-05 19:16:56 +01:00 |
|
Denis Merigoux
|
03774fdfc2
|
Fixed CI
|
2021-03-02 18:28:56 +01:00 |
|
Denis Merigoux
|
f685c9302f
|
Added test suite for compiled code
|
2021-02-03 10:53:21 +01:00 |
|
Denis Merigoux
|
cc2c93f157
|
Fixed github actions
|
2020-12-21 18:18:57 +01:00 |
|
Denis Merigoux
|
c5048378a2
|
Removed duplicated CI target
|
2020-12-10 18:16:20 +01:00 |
|
Denis Merigoux
|
ae1c2c6e02
|
Passing all tests!
|
2020-11-27 17:21:37 +01:00 |
|
Denis Merigoux
|
df2c0f1b01
|
Fixed github workflow
|
2020-11-23 09:27:55 +01:00 |
|
Denis Merigoux
|
0888422ead
|
Big code reorg with better dune config
|
2020-11-23 09:22:47 +01:00 |
|
Denis Merigoux
|
076e2dce22
|
Finished writing stepper
|
2020-11-16 22:51:07 +01:00 |
|
Denis Merigoux
|
709ba34ea0
|
Update apt for CI
|
2020-08-18 23:53:09 +02:00 |
|
Denis Merigoux
|
c97f9f4104
|
Fixed workflow
|
2020-08-08 18:34:27 +02:00 |
|
Denis Merigoux
|
0f43975182
|
Cleaned lexing code and rationalized non-verbose syntax
|
2020-08-08 18:32:44 +02:00 |
|
Denis Merigoux
|
df25d5d94d
|
Automated test suite!
|
2020-08-07 17:37:28 +02:00 |
|
Denis Merigoux
|
9307737b90
|
Setuptools
|
2020-05-26 15:52:11 +02:00 |
|
Denis Merigoux
|
f1fa143f6e
|
Python3-dev
|
2020-05-26 15:48:05 +02:00 |
|
Denis Merigoux
|
f50badef33
|
Yaml syntax
|
2020-05-26 15:45:00 +02:00 |
|
Denis Merigoux
|
85c2d2eb8a
|
Retry CI
|
2020-05-26 15:38:32 +02:00 |
|
Denis Merigoux
|
9492724ec4
|
Leave CI debugging for later
|
2020-05-26 14:53:53 +02:00 |
|
Denis Merigoux
|
e4af1b7baf
|
Install virtualenv via pip on CI
|
2020-05-26 14:31:54 +02:00 |
|
Denis Merigoux
|
4c3e1ec367
|
Opam environment before building
|
2020-05-26 12:37:01 +02:00 |
|
Denis Merigoux
|
4410b693f9
|
Attempt to cache dependencies
|
2020-05-26 12:02:49 +02:00 |
|
Denis Merigoux
|
09d0aeeb57
|
Makefile should now build examples
|
2020-05-26 11:38:52 +02:00 |
|
Denis Merigoux
|
13545740e8
|
Bump OCaml version
|
2020-05-26 10:41:21 +02:00 |
|
Denis Merigoux
|
4d7ba58b44
|
Another attempt at CI
|
2020-04-26 19:56:54 +02:00 |
|
Denis Merigoux
|
fe99b36fa4
|
CI just builds
|
2020-04-26 19:01:59 +02:00 |
|
Denis Merigoux
|
2cf7fce321
|
Create make-tex.yml
Trying to deploy CI
|
2020-04-26 18:43:57 +02:00 |
|