Bretton
e8a9edc071
CI: Add macOS case for test-lib outputs
2022-08-12 20:31:17 -07:00
Bretton
b301d66cbc
FFI: Revert CI CACHE_VERSION bump
2022-08-10 14:56:09 -07:00
Bretton
8827a5b0ab
FFI: Move CI ffi test check to test job
2022-08-05 15:14:36 -07:00
Bretton
5c2a409b36
Merge branch 'master' into ffi
2022-08-05 14:36:59 -07:00
Bretton
6b1210d37c
FFI: Revert dynamic linking hacks for linux
2022-08-05 13:54:38 -07:00
Bretton
59f0b30a0c
FFI: Print whether FFI is enabled in -v/:v command
2022-08-04 20:39:09 -07:00
Bretton
65cb428010
FFI: Copy libffi to bin
2022-08-04 13:56:17 -07:00
Bretton
3fb609db72
FFI: add ghc libffi for other cryptol executables
2022-08-03 17:45:59 -07:00
Bretton
7f904e0bfa
FFI: copy libffi to dist/lib/ and cryptol/../lib
2022-08-03 16:55:51 -07:00
Bretton
8d28f59f26
FFI: Try linking against ghc's libffi at runtime
2022-08-03 14:56:27 -07:00
Ryan Scott
1c501b88f6
CI: Use macOS 12 ( #1387 )
...
GitHub is deprecating (and eventually removing) its macOS 10.15 runners.
See actions/virtual-environments#5583 . Let's upgrade to a newer version in the
CI. This proves relatively straightforward—the only other change required is to
upgrade to a newer version of `what4-solvers`.
2022-07-21 14:31:54 -04:00
Ryan Scott
fc880e02de
CI: Distinguish artifact names by GHC version ( #1384 )
...
Fixes #1383 .
2022-07-18 07:54:32 -04:00
Bretton
543862d37f
Revert "Debugging libffi on ubuntu 18.04 CI"
...
This reverts commit 3456a7d339
2022-07-13 15:21:21 -07:00
Bretton
3456a7d339
Debugging libffi on ubuntu 18.04 CI
2022-07-06 17:01:48 -07:00
Bretton
e4a7a0f67b
Bump CI CACHE_VERSION
2022-07-06 14:21:45 -07:00
Ryan Scott
30b963bb39
Only include bindist-related files in cryptol.msi
...
Previously, we would include every file in the current `cryptol` checkout in
`cryptol.msi`, which would result in horribly bloated installer files. We now
only include those files under the `dist` directory (created by
`.github/ci.sh bundle_files`), which curates only those files we want to
include in a binary distribution.
While I was in town, I modified the conventioned used in `win32/cryptol.wxs`
so that we no longer need to reference `dist`, which does not show up in
`.tar.gz`-based bindists.
Fixes #977 .
2022-05-23 06:47:16 -04:00
Ryan Scott
e630fbe95a
CI: Use modern GPG keys
...
Most of the changes are in GitHub's secret values. The only thing that must
change in the code is the name of the key we search for.
Fixes #1354 .
2022-05-19 13:21:49 -04:00
Ryan Scott
fff6520e9b
CI: Trigger full release after git tag --push
...
This fixes the regex used to detect tagged releases and runs the
`build-push-image` job for tagged releases.
Fixes #1351 .
2022-05-19 13:21:49 -04:00
Ryan Scott
870d9c9922
CI: Always sign binary artifacts, not just for releases
...
Fixes #1355 .
2022-05-19 13:21:47 -04:00
Ryan Scott
0bb42af79e
CI: Include a single Ubuntu 18.04 job
...
This is done purely for the sake of increasing our coverage of Linux when
making releases. See #1140 for the motivation.
We won't run any of the tests et al. for this job.
2022-05-12 10:21:23 -04:00
Ryan Scott
83b6cd4120
CI: Pin OS versions
2022-05-12 10:10:58 -04:00
Ryan Scott
22c61d6907
CI: Test GHC 9.2.2
2022-05-04 16:14:49 -05:00
Ryan Scott
7410890bb8
CI: Use CACHE_VERSION
2022-04-26 09:35:27 -04:00
Ryan Scott
3b9eafbc91
CI: Update what4-solvers to use Z3 4.8.14
...
The previous `what4-solvers` snapshot used Z3 4.8.10, which is known to cause
severe performance regressions with the `negshift` regression test. See #1107 .
This updates to a more recent `what4-solvers` snapshot that uses Z3 4.8.14
instead, which is known to work more reliably with `negshift`.
2022-01-14 14:48:11 -05:00
Ryan Scott
7030088e13
Ensure that there is at least one Windows build
2022-01-13 15:09:47 -05:00
Ryan Scott
31ca666b3a
Regenerate cabal.GHC-*.config files
2022-01-13 12:16:10 -05:00
Ryan Scott
7bdb84beca
CI: Drop GHC 8.6
2022-01-13 09:47:10 -05:00
Ryan Scott
38935c0c51
CI: Test GHC 9.0.2
2022-01-12 09:41:48 -05:00
Aaron Tomb
c8c122fac6
Migrate Docker images to use what4-solvers builds
2021-09-28 16:23:16 -07:00
Aaron Tomb
15b3b98482
Merge pull request #1286 from GaloisInc/at-windows-tests
...
Re-enable tests on Windows
2021-09-27 08:47:36 -07:00
Kevin Quick
1e71818767
Add some functionality comments to ci.sh
2021-09-20 08:56:11 -07:00
Aaron Tomb
4bd711bca1
Re-enable tests on Windows
...
Still leaves out RPC tests. We don't expect them to work on Windows
anytime soon.
2021-09-17 16:23:46 -07:00
Aaron Tomb
1bb2b540e9
Bump solver package snapshot version
2021-09-17 14:53:05 -07:00
Aaron Tomb
6cd4383086
Fix solver dependency analysis
2021-09-17 12:05:29 -07:00
Aaron Tomb
b88544152c
Check dynamic library dependencies of solvers
2021-09-17 11:21:33 -07:00
Aaron Tomb
94a32f9a04
Disable RPC tests on macOS
...
They’re stalling for unknown reasons, and aren’t as critical as the
others. Running the Linux tests is the most critical.
2021-09-17 11:20:34 -07:00
Aaron Tomb
45c28c397d
Switch back to GHC 8.10.2 for now
...
We're using GHC 8.6.5 for tests
2021-09-15 16:14:24 -07:00
Aaron Tomb
5e31bd0575
Attempt to fix build stall on Windows
2021-09-15 16:07:37 -07:00
Aaron Tomb
c537017abe
Include abc in with-solvers tarballs
2021-09-15 13:11:30 -07:00
Aaron Tomb
bdb2c96817
Make solver package version configurable
2021-09-15 13:11:30 -07:00
Aaron Tomb
88d24a17a2
Always overwrite solvers when unzipping
2021-09-15 13:11:30 -07:00
Aaron Tomb
aa3426e316
Fix Yices executable name
2021-09-15 13:11:30 -07:00
Aaron Tomb
5fbb1752e6
Fix typo in solver binary archive names
2021-09-15 13:11:30 -07:00
Aaron Tomb
c8bfa205e8
Use prebuilt solver binaries from what4-solvers
2021-09-15 13:11:30 -07:00
Aaron Tomb
015cd7772e
Build Docker images only on nightly runs
2021-08-25 14:47:38 -07:00
Aaron Tomb
5c3cdffa4f
Improve CI for Windows and portable Docker container ( #1248 )
...
* Disable Windows RPC tests
They seem to hang instead of failing at the moment, so until we get them
working it seems like it's better to just leave them out.
* Attempt to make "portability" build only run nightly.
2021-07-26 09:40:44 -07:00
Aaron Tomb
17f5dc723b
Build distribution tarballs with and without solvers ( #1228 )
2021-07-23 08:00:26 -07:00
Iavor Diatchki
57283e26f2
Disable push-image with PORTABILITY=true
...
This takes way too long to run on every commit
2021-07-22 16:25:28 +03:00
Iavor Diatchki
75ab0ec09d
Temporarily disable uploading artifacts for Windows.
...
This seems to break the CI, we need to investigate why
2021-07-22 15:21:25 +03:00
Aaron Tomb
02aa44114e
Fix allowed test failure on Windows ( #1232 )
...
This disables RPC tests on Windows. They seem to hang instead of failing at the moment, so until we get them
working it seems like it's better to just leave them out.
2021-07-09 11:04:06 -07:00
