Daniel Larraz 417810e66e ci: Pin MSYS2 installation to use Clang 19.1.4 (#12301) ...

This ensures compatibility for statically linking cvc5 with Lean
binaries on Windows for Lean versions 4.20 and above, as required by the
lean-cvc5 project.

2025-12-10 12:17:51 +00:00

..

add-jar

java: Store JNI library by OS and CPU architecture (#12237)

2025-11-17 16:17:04 +00:00

add-package

Use MSYS2 CLANG64 to compile on Windows x86_64 (#12291)

2025-12-09 00:18:23 +00:00

add-wasm

ci: Use single job to set up release pages (#12104)

2025-09-10 15:39:06 +00:00

build-documentation

ci: Bump GitHub Actions versions (#12290)

2025-12-04 16:03:36 +00:00

configure-and-build

ci: Build and release Linux artifacts compiled with libc++ (#12293)

2025-12-09 01:47:51 +00:00

install-dependencies

ci: Pin MSYS2 installation to use Clang 19.1.4 (#12301)

2025-12-10 12:17:51 +00:00

run-tests

ci: Add Windows ARM64 build job (#12119)

2025-09-16 14:25:36 +00:00

setup-cache

ci: Only install ethos and carcara when testing proofs (#11343)

2024-11-15 18:52:49 +00:00

setup-cmake

ci: Continue if setup-cmake fails (#12065)

2025-08-12 15:25:51 +00:00

setup-latest

ci: Use single job to set up release pages (#12104)

2025-09-10 15:39:06 +00:00

setup-new-version

ci: Add option to choose release version to build (#12146)

2025-09-24 18:05:26 +00:00

store-to-latest

ci: Use single job to set up release pages (#12104)

2025-09-10 15:39:06 +00:00

upload-mvn-files

ci: Publish cvc5 Java API to Maven Central (#12268)

2025-11-26 15:29:21 +00:00