Skgland
52f3ddd20d
fix paths
2025-08-17 22:12:54 +02:00
Skgland
f1171e2fb2
build debian packages on linux targets
2025-08-17 21:36:42 +02:00
Mark Thom
a43bac8fd8
Merge pull request #3021 from mthom/rebis-dev
...
Merge rebis-dev to master
2025-08-02 00:01:39 -07:00
Bennet Bleßmann
ae0baf4893
[WIP] add support to spawn new processes
2025-08-01 20:18:13 +02:00
Bennet Bleßmann
7199e9a2db
remove outdated comment
2025-07-31 20:07:57 +02:00
Bennet Bleßmann
edf21494d9
also run CI on rebis-dev
2025-07-31 20:07:07 +02:00
Dan Rose
2dc66d33dd
CI: run clippy even if fmt fails
2025-07-08 11:51:13 -05:00
Mark Thom
c0f72704ec
introduce bespoke Heap type for in-heap partial strings
2025-07-07 21:59:50 -07:00
Mark Thom
34ac85bb6d
restore ubuntu testing to ci.yml with rust version 1.77
2025-07-07 21:40:36 -07:00
bakaq
bd4b305649
Remove Ubuntu 20.04 runner
2025-04-22 18:21:50 -03:00
bakaq
638a765937
Bump MSRV and update flake.lock
2025-04-22 17:20:06 -03:00
Aman Verma
7b6f4439bb
Install correct locked version of iai-callgrind-runner in CI.
2025-03-31 04:11:16 -05:00
Bennet Bleßmann
b74c8139d1
fix ci and update all used actions
2025-01-23 19:53:59 +01:00
Bennet Bleßmann
c414f75329
switch macos to latest as macos-11 has been removed
...
See https://github.com/actions/runner-images/issues/9255
2024-07-06 18:47:35 +02:00
Bennet Bleßmann
8e53d12776
make components a comma seperated string instead of a list
2024-07-06 16:01:52 +02:00
Bennet Bleßmann
33793193cc
add miri to CI
2024-07-06 15:46:04 +02:00
Bennet Bleßmann
45a8a7bb31
create swap file for wasm32 build
2024-05-29 19:50:27 +02:00
Bennet Bleßmann
80a0cab6ab
re-add CI job to test Cargo.toml rust-version
...
was removed in #2393 instead of being updated, see
- https://github.com/mthom/scryer-prolog/pull/2393#discussion_r1585963855 and
- 79bc2d9c68 (commitcomment-141790142)
2024-05-28 21:27:29 +02:00
Mark Thom
79bc2d9c68
remove 1.70 version CI job
2024-04-29 15:40:05 -06:00
infogulch
01f757c940
Install version of iai-callgrind set in Cargo.toml
2024-02-29 17:32:44 -06:00
Bennet Bleßmann
e5ad70c093
fix compilation of wasm32 test and skip to run wasm32 tests
2024-02-16 23:18:21 +01:00
Bennet Bleßmann
7fce688769
undo continue-on-error
...
- currently `continue-on-error` is not shown in a usefull way on failiure see <https://github.com/orgs/community/discussions/15452 >
2024-02-16 22:23:22 +01:00
Nicolas Luck
ce34ca8f1f
continue-on-error if target=wasm32 or rust=nightly
2024-02-09 13:48:45 +01:00
Nicolas Luck
7c632cf165
Reactivate nightly test job with continue-on-error set
2024-02-09 13:44:37 +01:00
Nicolas Luck
b3c5a8db80
Use stable Rust for style/report and deactivate nightly x86_64 target in CI
2024-02-09 13:14:06 +01:00
infogulch
7208916230
Clean up test step by compiling in build step
2023-12-05 20:51:04 -06:00
infogulch
11832b524b
Expose inference counts on Machine; publish to CI
2023-11-21 21:53:29 -06:00
infogulch
503e45eae1
Upgrade to latest iai for summary output
2023-11-21 21:53:19 -06:00
infogulch
1c94624958
Benchmark improvements
...
* CI: Clean offline; display cleaned bytes; one artifact upload
* Add missing csv bench to iai benchmarks
* Generate flamegraphs for benchmarks
* Validate benchmark results separately
2023-11-21 13:54:16 -06:00
infogulch
e5ee918063
Add checks permission to ci workflow
...
This should allow dependabot builds to complete
2023-11-15 13:07:45 -06:00
infogulch
8570f119c0
Add benchmarks using library interface
2023-11-11 13:32:34 -06:00
infogulch
1656d9d7ad
CI: Setup rust in new action; split style & report actions
2023-11-11 13:32:34 -06:00
infogulch
16f768197b
Split style checks, test reports into separate job
2023-11-04 02:22:24 -05:00
infogulch
6bae789bd6
CI: compile wasm separately; default 22.04; matrix
2023-10-26 14:23:32 -05:00
infogulch
c070fbec62
Pin logtalk to version before scryer support was removed
2023-10-03 21:14:45 -05:00
infogulch
93f46a4142
Tidy ci.yaml
2023-09-27 02:58:48 -05:00
infogulch
a86db1bde8
Build windows with msvc
2023-09-27 02:57:02 -05:00
infogulch
4163437d5a
Add ubuntu 22.04
2023-09-27 00:31:08 -05:00
Joe Taber
f03336b3a2
Allow all jobs to run to completion even if one fails
...
See: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstrategyfail-fast
2023-09-23 21:43:51 -05:00
Joe Taber
13a0085408
Add wasm build steps
2023-09-08 22:47:06 -05:00
Skgland
0f0018abe4
raise msrv for OnceLock support
2023-09-05 19:12:23 +02:00
Adrián Arroyo Calle
4523bb5b81
32 bit CI for Linux
2023-08-27 19:25:54 +02:00
infogulch
e52a4fbfc0
Bump msrv to 1.65 due to bumping rug to 1.19
...
https://gitlab.com/tspiteri/rug#version-1190-news-2023-01-06
2023-06-24 13:21:42 -05:00
infogulch
c05afb4705
Fix tags trigger
2023-06-24 13:05:57 -05:00
infogulch
5244d71570
Add steps to publish binaries when releases are tagged
2023-06-22 23:36:04 -05:00
infogulch
7a0f4e5787
Use --force to install cargo2junit
...
This probably appeared now because it's the first time this tool was cached
from a previous run.
2023-04-22 15:42:10 -05:00
infogulch
9c037d6028
Change ref for publish-unit-test-result-action
2023-04-22 10:18:10 -05:00
infogulch
5a3e2899dd
Refactor CI Workflow
...
* Rename the workflow from Test to CI, since it does more than tests
* Run logtalk tests in a separate job to improve isolation
* Publish all xunit/junit test files as build artifacts to be consumed
by a separate publishing workflow.
* Add "job summary" feature to show a formatted summary of the test
results on the job summary status page
* Run the CI job once every Wed to ensure that there are always some
recent builds on master that haven't expired.
2023-04-14 14:55:49 -05:00
infogulch
a197bb6815
Allow the test suite to fail without failing the build
2023-04-06 09:40:03 -05:00
infogulch
9de8456c7f
Add logtalk test suite
2023-04-02 17:31:20 -05:00
