rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,992 Commits 2 Branches 18 Tags
b74c8139d149d01c23602453e074c1d14b86720d
Commit Graph
52 Commits
Author SHA1 Message Date
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
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
infogulch ebf8091dba Test workflow cleanup; switch to macos-11 2023-04-02 14:47:52 -05:00
infogulch 8792ee438c Add cache step to test workflow 2023-04-02 02:09:41 -05:00
Niklas Gruhn b3df81c143 Adjust Github Action: Docker Publish 
1. Not only publish Docker images when new release tags are created but
   on every push to master, since release frequency is so low.

2. Use newer versions of the various actions (setup-buildx-action,
   login-action, metadata-action, ...) to suppress some deprecation
   warnings see:
   https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
 2022-11-15 18:55:15 +01:00
Adrián Arroyo Calle 1af62c8d11 Set default Shell 2022-10-26 23:36:07 -06:00
Adrián Arroyo Calle ec5430826e Add Windows MSYS2 2022-10-26 23:36:07 -06:00
Niklas Gruhn bb9de52a53 push Docker image on new release 
Setup GitHub action which automatically builds and pushes Docker
images, when new release tags are created.
 2022-04-14 21:42:28 +02:00
Skgland 45db236ec7 add a CI job to verify msrv is still correct 2022-03-12 19:23:34 +01:00
Mark Thom 75fc922898 Revert "Set minimum rust version in Cargo.toml" 2022-03-12 11:10:17 -07:00
Skgland 5bd73741cf add a CI job to verify msrv is still correct 2022-03-12 19:02:34 +01:00
Skgland 90aefd35f0 adjust ci 2021-02-28 19:21:30 +01:00
Adrián Arroyo Calle 213f8a604e Test against macOS 10.15 2021-01-27 23:40:26 +01:00
Adrián Arroyo Calle 2ed2e6d62f Disable Windows 2021-01-16 22:00:05 +01:00