Sebastian Ullrich
|
7ecdb8d5ee
|
chore: update Windows CI
|
2020-06-10 21:30:38 +02:00 |
|
Sebastian Ullrich
|
8ae25090cf
|
chore: add separate "Linux release" CI job using Nix channel with older glibc for compatibility
|
2020-06-10 21:30:38 +02:00 |
|
Sebastian Ullrich
|
40463a3ab8
|
chore: building static executables is hopeless, do mostly static instead
|
2020-06-10 21:30:38 +02:00 |
|
Sebastian Ullrich
|
485a1d67f8
|
chore: update CI
|
2020-06-10 21:30:38 +02:00 |
|
Sebastian Ullrich
|
97fd4e7a87
|
chore: CI: upload build artifact; remove unused LLVM=ON job
|
2020-06-10 21:30:38 +02:00 |
|
Sebastian Ullrich
|
3c8400d30f
|
chore: CI: check update-stage0
|
2020-05-19 11:31:36 -07:00 |
|
Sebastian Ullrich
|
18a89abbe6
|
chore: fix Windows CI
Switch to a `setup-msys2` fork working around https://github.com/msys2/MSYS2-packages/issues/1962
|
2020-05-19 15:44:27 +02:00 |
|
Sebastian Ullrich
|
a6fbf3c20e
|
refactor: make stages internally consistent by compiling the stageN lib with the stageN compiler, rename static libraries
The old stage1 is now stage0.5, which at least suggests that it's not an entirely consistent stage in general
|
2020-05-14 23:13:51 +02:00 |
|
Sebastian Ullrich
|
9476ee2f54
|
fix: benchmarks CI
|
2020-05-14 14:47:54 +02:00 |
|
Sebastian Ullrich
|
279746fa6a
|
chore: change stage1-3 into homogeneous ExternalProjects from new top-level /CMakeLists.txt
This ensures stage2+3 are full, standalone Lean installations
|
2020-05-14 14:47:54 +02:00 |
|
Sebastian Ullrich
|
441ffadb29
|
Revert "chore: speed up sanitized build a bit"
This reverts commit d3115d8f58.
I didn't notice that we're not actually using a debug build for the sanitized build
|
2020-05-14 14:47:54 +02:00 |
|
Sebastian Ullrich
|
053d4bab1c
|
chore: factor out and unify common test behavior; retrieve lean from PATH
`./test_single.sh foo.lean yes` is now `./test_single.sh -i foo.lean`
|
2020-05-14 14:38:52 +02:00 |
|
Sebastian Ullrich
|
1f2afa4c25
|
chore: CI: deactivate stack overflow tests for sanitized build
|
2020-05-04 11:11:12 +02:00 |
|
Sebastian Ullrich
|
d3115d8f58
|
chore: speed up sanitized build a bit
|
2020-05-04 11:11:11 +02:00 |
|
Sebastian Ullrich
|
7f10a504f8
|
chore: CI: fix ctest cmdline that ignored --output-on-failure
|
2020-05-04 11:11:11 +02:00 |
|
Sebastian Ullrich
|
3a94422aea
|
chore: bump Actions
|
2020-03-13 10:40:45 +01:00 |
|
Sebastian Ullrich
|
b7218dad9d
|
chore: CI: check for memory leaks in tests & stdlib
|
2019-12-23 14:25:17 +01:00 |
|
Sebastian Ullrich
|
7d0833e05a
|
chore: extended CI checks
|
2019-12-07 21:51:59 +01:00 |
|
Sebastian Ullrich
|
82a0991df6
|
chore: switch to Github Actions
|
2019-11-21 13:11:16 -08:00 |
|
Sebastian Ullrich
|
853b0f7648
|
chore(.github/CONTRIBUTING): fix typos and URLs
|
2017-10-30 16:23:22 +01:00 |
|
Floris van Doorn
|
da1fc03d15
|
doc(CONTRIBUTING): add instructions to run test suite
|
2017-10-30 16:20:36 +01:00 |
|
Leonardo de Moura
|
dbfee23682
|
chore(.github/CONTRIBUTING.md): update PR submission guidelines.
|
2017-08-16 14:22:32 -07:00 |
|
Scott Morrison
|
1883576eb8
|
chore(.github/ISSUE_TEMPLATE): typo
|
2017-07-14 08:02:08 +01:00 |
|
Sebastian Ullrich
|
4c5b4fa2f4
|
chore(.github/PULL_REQUEST_TEMPLATE): typo
|
2017-06-12 09:56:15 -07:00 |
|
Jared Roesch
|
f3b9db99cf
|
chore(.github): fix typo
|
2017-06-12 09:56:15 -07:00 |
|
Jared Roesch
|
47df98aaf0
|
chore(., .github): move templates to .github
|
2017-06-12 09:56:15 -07:00 |
|