Lisanna Dettwyler
eb829d89b2
Release process improvements ( #1176 )
...
Closes #1175
Closes #1134
2021-06-04 11:29:28 -07:00
Ryan Scott
88c369a271
Autogenerate cryptol-remote-api docs (and check them in CI)
...
Unfortunately, the autogenerated documentation (now located in `Cryptol.rst`)
doesn't yet have all of the information contained within the hand-written
documentation (now located in `old-Cryptol.rst`—see #1206 . In pursuit of
eventually fixing that issue, the CI now makes sure that any changes to the
autogenerated documentation are checked in.
2021-06-01 11:00:26 -04:00
Andrew Kent
af0be41cf1
feat(rpc): make python client compat with python 3.7 ( #1195 )
2021-05-07 16:19:08 -07:00
Iavor Diatchki
b2a8a23798
Remove constraints on cabal install, as we made the most progress with that...
2021-04-22 15:13:52 -07:00
Iavor Diatchki
a7daa1e9c0
Overwrite test-runner
if it was already there
2021-04-22 14:18:28 -07:00
Iavor Diatchki
c16583230a
Print test-runner version, and always build it.
2021-04-22 14:04:15 -07:00
Lisanna Dettwyler
ec614b26cd
Fix test-lib step
2021-04-22 12:35:17 -07:00
Iavor Diatchki
0c65f5e82b
Change CI to use test-lib-0.3
and add a windows test for modsys/T18
2021-04-21 15:33:29 -07:00
Lisanna Dettwyler
8ed946ea75
Fix CI release signing and docker caching
2021-03-24 13:13:43 -07:00
Lisanna Dettwyler
d1ec9b214a
Fix docker image caching
2021-03-23 20:55:49 -07:00
Lisanna Dettwyler
b8372231a1
Fix release bundle signing
2021-03-23 20:55:49 -07:00
Lisanna Dettwyler
f021990eba
Prep CI for upcoming release ( #1123 )
...
- Container images are now published to ghcr.io rather than docker hub (closes #1110 ):
- https://github.com/orgs/GaloisInc/packages/container/package/cryptol
- https://github.com/orgs/GaloisInc/packages/container/package/cryptol-remote-api
- Docker builds for all images are cached against ghcr.io (doesn't provide incremental builds, but it still helps a lot).
- https://github.com/orgs/GaloisInc/packages/container/package/cache-cryptol
- https://github.com/orgs/GaloisInc/packages/container/package/cache-cryptol-remote-api
- "Portable" variant of cryptol-remote-api is now built and tested to the same degree as the non-portable one
- Normalized CI workflows to [`.github/workflows/ci.yml`](https://github.com/GaloisInc/cryptol/blob/lisanna/docker-publishing/.github/workflows/ci.yml ) (closes #1115 )
- Pre-merge and release build configurations are now more or less the same, so release process remains validated (closes #1114 , closes #1116 )
- Matrix configs for each job are visible at high-level views of the workflow
- Always upload workflow artifacts, use sensible retention periods for publish vs. non-publish
- `cryptol-eval-server` included in cryptol-remote-api container image (closes #1112 )
- Pathclearing for static linking (#1113 )
2021-03-23 15:24:48 -07:00
Aaron Tomb
d6e3c13cd9
Include files from lib
in release tarballs ( #1120 )
...
Closes #1074 .
2021-03-22 08:30:43 -07:00
LisannaAtGalois
8a0a0094ae
Fix nightly builds ( #1101 )
...
* Restore files used in nightly
* fix helm test to use renamed argo
* point test to correct python location
* use python 3.9 for :=
2021-03-10 08:04:31 -08:00
Andrew Kent
9943b5ce0c
test: test cryptol-remote-api docker image alongside other builds
2021-03-04 14:38:47 -08:00
Andrew Kent
b2562b3d27
bump argo, minor rpc tweaks
2021-03-01 13:19:00 -08:00
LisannaAtGalois
bcc7612b76
Init ghcr.io/galoisinc/cryptol-remote-api:nightly-portable ( #1065 )
2021-02-10 13:16:35 -08:00
Jared Weakly
1b482ba9ed
Fix helm testing and cvc4 url fix to missing locations ( #1031 )
...
* Fix helm testing and cvc4 url fix to missing locations
* Update tag for test-cryptol-remote-api in helm tests
2021-01-14 11:18:06 -08:00
Jared Weakly
5971ac3bed
Support ghc 8.10.3 cryptol remote api ( #1026 )
...
* Use ghc 8.10.3 for cryptol-remote-api to test SGX compatibility
* Fix cvc4
* Fix test suite for cryptol-remote-api
* Default to putting the heap as low in address space as possible
2021-01-11 11:36:21 -08:00
Aaron Tomb
396cad9363
Fix CVC4 nightly version ( #1027 )
...
Fixes CVC4 version used in Docker builds and GitHub actions. This is the update that we currently have to do every few weeks to point to a nightly build that still exists.
2021-01-04 11:13:06 -08:00
David Thrane Christiansen
d93ae31298
cryptol-eval-server: add to CI script
2020-12-15 18:42:07 -08:00
Aaron Tomb
6eb8db641c
Fix CVC4 download URL in GitHub workflows
2020-12-11 12:52:43 -08:00
Lisanna Dettwyler
705e109cc2
Add check-exercises to CI
2020-12-11 11:56:57 -08:00
LisannaAtGalois
37f6b5bc98
WIP: Init helm for cryptol-remote-api ( #999 )
...
Init helm chart for cryptol-remote-api
2020-12-10 17:05:00 -08:00
LisannaAtGalois
af3c02cc9f
Make cryptol-remote-api Dockerfile default to 8080 ( #982 )
...
Improve the cryptol-remote-api Dockerfile to bind to port 8080 and
EXPOSE it. This makes the container much easier to use as a service.
2020-11-24 10:26:07 -08:00
Aaron Tomb
c46274f195
Set credentials for cryptol-remote-api
Docker
2020-11-19 11:17:23 -08:00
Aaron Tomb
1ead4f2c1e
Include .tar.gz archives on Windows, too
2020-11-18 17:08:24 -08:00
Aaron Tomb
5cbf17b425
Leave Markdown files out of distribution packages ( #971 )
2020-11-17 14:23:41 -08:00
Lisanna Dettwyler
0d6264a964
Build and push .github/Dockerfile-remote-api
2020-11-14 18:44:07 -08:00
Aaron Tomb
4fed1654a7
Update cryptol-remote-api
flags in Dockerfile
2020-11-13 15:33:13 -08:00
Aaron Tomb
2919e21bdc
Add Dockerfile for cryptol-remote-api
2020-11-11 11:57:20 -08:00
Jared Weakly
8cd1dbb354
Update deprecated add-path workflow command ( #950 )
2020-11-05 14:26:00 -08:00
Aaron Tomb
f51adf77e5
Bump CVC4 version in non-Docker builds, too
2020-10-26 09:27:04 -07:00
Aaron Tomb
f0b851ecf0
Add cryptol-remote-api
( #927 )
...
This commit moves the `cryptol-remote-api` package from the `argo` repository to the `cryptol` repository.
2020-10-12 12:46:30 -07:00
Aaron Tomb
eeadea181e
Build tarballs even on Windows
2020-10-01 11:02:18 -07:00
Aaron Tomb
aa6582bacc
Fix CVC4 installation in CI
2020-09-30 13:55:51 -07:00
Aaron Tomb
c67a777689
Fix Windows CI flakiness
2020-09-29 16:14:24 -07:00
Aaron Tomb
2e2e263c33
Revert "Revert "Include cryptol-remote-api
in Cryptol builds ( #890 )""
...
This reverts commit f048368408
.
2020-09-29 15:35:29 -07:00
Iavor Diatchki
f048368408
Revert "Include cryptol-remote-api
in Cryptol builds ( #890 )"
...
This reverts commit d7cb4b6943
.
2020-09-25 15:42:50 -07:00
Jared Weakly
bcb2f8fe08
Attempt to cache less aggressively to avoid dylib issues on macos ( #896 )
2020-09-16 16:43:13 -07:00
Aaron Tomb
36bcfab5e9
Try nightly builds with GHC 8.6.5
2020-09-14 11:20:23 -07:00
Aaron Tomb
d7cb4b6943
Include cryptol-remote-api
in Cryptol builds ( #890 )
...
* Include `cryptol-remote-api` in Cryptol builds
* Add `cryptol-remote-api` to distribution bundles
* Allow nightly builds to be triggered manually
2020-09-14 10:33:30 -07:00
Jared Weakly
5c47ff32ea
Actions/publish docker only on tags ( #874 )
...
* Test docker build if Dockerfile changed. Publish only on tag
* Add caching to cron job now that it's supported
* Address GHC 8.10.2 and Windows incompatibility
* Push docker nightly image only on scheduled runs
* Build docker on tags with vX.X.X or X.X.X
2020-09-10 18:04:03 -07:00
Aaron Tomb
339c13b723
Prepare for v2.9.1 ( #872 )
...
* Tiny tweaks to release notes
* Update GHC versions
* Update GHC versions for Actions
* Build releases with 8.8.4 (Something strange is going on with 8.10.2 on Windows)
2020-08-31 11:40:09 -07:00
Jared Weakly
3a379bcbc0
CVC4 linux fixes ( #871 )
...
* add cvc4 version workaround
* bump z3 version in github actions to match dockerfile
2020-08-27 15:58:43 -07:00
Aaron Tomb
5100132e4c
Tweak a few things for 2.9.0 ( #833 )
...
* Fix Dockerfile
* Include version number in CHANGES.md
* Update copyright dates
* Don't include cryptol-specs in release archives
* Remove duplicate copy of Programming Cryptol
2020-07-28 08:41:27 -07:00
Jared Weakly
755d4d2de3
Enable docker builds for releases and nightlies ( #834 )
...
* Enable docker builds in nightly and release
* Fix doc builds
2020-07-28 08:40:34 -07:00
Jared Weakly
7c082b475c
Allow release branches to actually release ( #832 )
...
Fix release check
2020-07-27 10:05:28 -07:00
Jared Weakly
7e5e1ca439
explicitly build cryptol-html target in addition to cryptol
2020-07-24 15:03:38 -07:00
Jared Weakly
19f643a3ce
add working retry
2020-07-24 14:12:41 -07:00