Commit Graph

28 Commits

Author SHA1 Message Date
Arthur Meyre
468686a92f tools: add pytest_nb target to easily test notebooks 2021-09-03 09:58:00 +02:00
Arthur Meyre
ad0a65078f tools: remove serialize_targets.sh which is useless
- use make --keep-going instead
2021-09-01 11:51:54 +02:00
Arthur Meyre
914fb19ebb tools: adapt UTC timezone for package watcher to match Paris Time 2021-09-01 10:38:50 +02:00
Arthur Meyre
3b339b1e88 tools: make sphinx-build warnings errors
- add -W and --keep-going for SPHINXOPTS
- use $(MAKE) for make invocations
- build the docs in the conformance phase as the sphinx build has checks
2021-09-01 10:31:33 +02:00
Arthur Meyre
3c6969f7f4 tools: updated package watcher with helper script 2021-08-31 16:15:03 +02:00
Arthur Meyre
758a5727dc fix: disable the package watcher for now
- I used the wrong date value, will update in a further PR
2021-08-31 11:43:32 +02:00
Arthur Meyre
b9fd9b7b9b fix: bad workflow format 2021-08-31 10:36:42 +02:00
Arthur Meyre
0f2b7f7d2a build: allow docker base image build triggered by API call
- add a polling script to check packages versions regularly and rebuild if
the compiler image is more recent
2021-08-31 10:14:55 +02:00
Arthur Meyre
74f0c9600e fix: update LD_PRELOAD in docker image and workflows 2021-08-30 18:13:55 +02:00
Arthur Meyre
1ebbd3ea91 fix(build): only allow one Docker image build per ref/branch 2021-08-25 16:22:46 +02:00
aquint-zama
0f7f5a302a chore(templates): update issue templates
refers #129
2021-08-25 14:28:52 +02:00
Arthur Meyre
202dffb4a5 Build/env dev docker 127 (#196)
build: add workflow to create HDK env Docker Image

- make bot username a secret
- update Makefile to pull the HDK image
- have a separate Makefile for the dev specific Docker Image needs
2021-08-25 14:09:54 +02:00
Umut
b41029d9c0 refactor(drawing): start using graphviz for visualization 2021-08-25 10:01:20 +03:00
Arthur Meyre
6d14b4b318 fix(build): manage refs for push events 2021-08-18 09:08:49 +02:00
youben11
788e94bfa3 feat: end to end compilation and execution 2021-08-18 08:08:19 +01:00
Arthur Meyre
63eac35a43 build: launch pcc targets in parallel to speed up checks
- change call in github actions as proper flags are in the Makefile
- change mypy_ci target to avoid cache issues with multiple mypy instances
2021-08-17 18:27:31 +02:00
Umut
553f77f19b chore(ci): implement publishing docs to hdk.zama.ai on push to main 2021-08-17 18:52:27 +03:00
Umut
479176e368 doc(examples): create quantized linear and logistic regression examples 2021-08-16 15:57:18 +03:00
Arthur Meyre
0baa02549c build(mlir): setup things to use the MLIR/homomorphizer docker image 2021-08-03 16:03:56 +02:00
Arthur Meyre
94f79f2345 chore(tools): update coverage.sh script 2021-07-22 10:31:51 +02:00
Arthur Meyre
ac31a712ca chore(build): update a CI command to properly call pip 2021-07-22 10:31:51 +02:00
Arthur Meyre
9bf380bfce fix(typo): fix unfortunate typos 2021-07-19 16:32:53 +02:00
Arthur Meyre
36d93a60d9 chore(tools): add mypy as dev tool but don't check in CI for now
- we'll see if the benefits of static typing are worth it or not
2021-07-19 16:25:24 +02:00
Arthur Meyre
ef78e66241 build(coverage): add comment to PR with diff-cover output
- add script to help format the coverage comment
- manage steps logic

refs #15
2021-07-16 12:25:10 +02:00
Arthur Meyre
7dccfa649c build(tests): add tests and coverage to CI workflow
#refs 15
2021-07-16 12:25:10 +02:00
aquint-zama
ae992e4cdc docs: move to sphinx
relates #15
2021-07-15 16:56:53 +02:00
Arthur Meyre
e45cd6cc86 build: add github actions workflow for PR checks
refs #15
2021-07-15 15:31:53 +02:00
Arthur Meyre
ae2041202f chore: add github issue templates 2021-07-15 10:55:22 +02:00