rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,505 Commits 2 Branches 18 Tags
eba16a221364413c35caabf195ac95bc1306455e
Commit Graph
71 Commits
Author SHA1 Message Date
Skgland eba16a2213 update actions/checkout@v4 -> actions/checkout@v6 2026-04-10 23:22:37 +02:00
Skgland 2dc904aa73 run apt update before apt install 
https://github.com/orgs/community/discussions/145882#discussioncomment-11447924
 2026-02-20 23:00:45 +01:00
Skgland 0ceab41b39 fix warning in CI about using apt in a script 2026-02-20 22:57:44 +01:00
Skgland ed03d5b1b4 move CI job release from retired ubuntu-20.04 image to ubuntu-22.04 
the new image is the same as all other ubuntu jobs
 2025-09-27 22:54:45 +02:00
Skgland 633b86ddc4 make CI read msrv from Cargo.toml 
instead of hardcoding it, so we have a single source of truth
 2025-08-18 21:10:27 +02:00
Skgland 6338a40eed fixup logtalk-test 2025-08-17 22:52:45 +02:00
Skgland 3aa272e44d explicitly pass the target to cargo-deb 2025-08-17 22:31:28 +02:00
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
- https://github.com/mthom/scryer-prolog/commit/79bc2d9c68da2257a94eb22ef8717a304173e344#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