Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Apr 13, 2026

• Bump softprops/action-gh-release from 2 to 3

  Show description for 45200bc
  dependabot[bot]

  authored
  45200bc

  Copy full SHA for 45200bc

Commits on Mar 30, 2026

• Bump codecov/codecov-action from 5 to 6

  Show description for 4517962
  dependabot[bot]

  authored
  4517962

  Copy full SHA for 4517962

Commits on Mar 27, 2026

• Merge pull request #8859 from tautschnig/profiling-tool

  Show description for 0170409
  tautschnig

  authored
  0170409

  Copy full SHA for 0170409

Commits on Mar 23, 2026

• Bump microsoft/setup-msbuild from 2 to 3

  Show description for 6e556e7
  dependabot[bot]

  authored
  6e556e7

  Copy full SHA for 6e556e7

Commits on Mar 21, 2026

• Merge pull request #8740 from tautschnig/replace-upload-release-asset

  tautschnig

  authored
  7b4dcd7

  Copy full SHA for 7b4dcd7

• Merge pull request #8856 from tautschnig/parallel-test

  tautschnig

  authored
  3a0f2c1

  Copy full SHA for 3a0f2c1

• Merge pull request #8789 from tautschnig/use-github-xen-mirror

  tautschnig

  authored
  d95adee

  Copy full SHA for d95adee

Commits on Mar 13, 2026

• Add CI profiling workflow

  Show description for 2456e29
  

  tautschnig

  and

  kiro-agent

  committed
  2456e29

  Copy full SHA for 2456e29

• Add CI performance analysis script and workflow

  Show description for 3fee1c4
  

  tautschnig

  and

  kiro-agent

  committed
  3fee1c4

  Copy full SHA for 3fee1c4

Commits on Mar 10, 2026

• Enable parallel regression test execution for Windows VS 2022

  Show description for d9c842e
  

  tautschnig

  and

  kiro-agent

  committed
  d9c842e

  Copy full SHA for d9c842e

• Fix Xen CI job by moving to GitHub mirror

  Show description for 69d6271
  tautschnig

  committed
  69d6271

  Copy full SHA for 69d6271

Commits on Mar 9, 2026

• Replace deprecated upload-release-asset with action-gh-release

  Show description for a1839d9
  tautschnig

  committed
  a1839d9

  Copy full SHA for a1839d9

Commits on Mar 4, 2026

• Cache Chocolatey packages with monthly rotation

  Show description for 4244b88
  

  tautschnig

  and

  kiro-agent

  committed
  4244b88

  Copy full SHA for 4244b88

• Fail CI immediately when Chocolatey dependency installation fails

  Show description for 3d28542
  

  tautschnig

  and

  kiro-agent

  committed
  3d28542

  Copy full SHA for 3d28542

Commits on Mar 2, 2026

• Bump actions/upload-artifact from 6 to 7

  Show description for fff94b8
  dependabot[bot]

  authored
  fff94b8

  Copy full SHA for fff94b8

Commits on Feb 7, 2026

• Remove `parallel` from OpenBSD CI job

  Show description for d694edb
  tautschnig

  committed
  d694edb

  Copy full SHA for d694edb

• Fix NetBSD CI job

  Show description for bd1a45e
  tautschnig

  committed
  bd1a45e

  Copy full SHA for bd1a45e

Commits on Jan 4, 2026

• Update CaDiCaL from 2.0.0 to 2.2.0

  Show description for eb49f6e
  tautschnig

  committed
  eb49f6e

  Copy full SHA for eb49f6e

Commits on Dec 15, 2025

• Merge pull request #8809 from diffblue/dependabot/github_actions/actions/cache-5

  Show description for b83f79d
  tautschnig

  authored
  b83f79d

  Copy full SHA for b83f79d

• Bump actions/upload-artifact from 5 to 6

  Show description for ad9f7d7
  dependabot[bot]

  authored
  ad9f7d7

  Copy full SHA for ad9f7d7

• Bump actions/cache from 4 to 5

  Show description for c2ff803
  dependabot[bot]

  authored
  c2ff803

  Copy full SHA for c2ff803

Commits on Nov 24, 2025

• Bump actions/checkout from 5 to 6

  Show description for bdf9018
  dependabot[bot]

  authored
  bdf9018

  Copy full SHA for bdf9018

Commits on Nov 3, 2025

• Switch macos-13 CI jobs to macos-15-intel

  Show description for 29dc554
  tautschnig

  committed
  29dc554

  Copy full SHA for 29dc554

Commits on Oct 27, 2025

• Bump actions/upload-artifact from 4 to 5

  Show description for 86aefce
  dependabot[bot]

  authored
  86aefce

  Copy full SHA for 86aefce

Commits on Oct 20, 2025

• Update *BSD CI actions to the latest OS versions

  Show description for 296e111
  tautschnig

  committed
  296e111

  Copy full SHA for 296e111

Commits on Oct 13, 2025

• Bump github/codeql-action from 3 to 4

  Show description for b2e4d4b
  dependabot[bot]

  authored
  b2e4d4b

  Copy full SHA for b2e4d4b

Commits on Sep 12, 2025

• MacOS CI job: do not re-install CMake

  Show description for cc46051
  tautschnig

  committed
  cc46051

  Copy full SHA for cc46051

Commits on Aug 18, 2025

• Bump actions/checkout from 4 to 5

  Show description for 2f37914
  dependabot[bot]

  authored
  2f37914

  Copy full SHA for 2f37914

Commits on Jul 16, 2025

• CI: Make smt2_solver available to all regression tests

  Show description for 9611331
  tautschnig

  committed
  9611331

  Copy full SHA for 9611331

Commits on Jun 27, 2025

• Stop using GNU parallel on windows-2022 runner

  Show description for bddfc6a
  tautschnig

  committed
  bddfc6a

  Copy full SHA for bddfc6a

Commits on Jun 25, 2025

• Add aarch64 (Arm 64-bit) CI job

  Show description for 431f460
  tautschnig

  committed
  431f460

  Copy full SHA for 431f460

Commits on Jun 17, 2025

• CI: use Visual Studio 2025 runners instead of 2019

  Show description for 3b75303
  tautschnig

  committed
  3b75303

  Copy full SHA for 3b75303

Commits on Apr 28, 2025

• Update OpenBSD to release 7.6

  Show description for e84d0a3
  tautschnig

  committed
  e84d0a3

  Copy full SHA for e84d0a3

• Use GitHub mirror to download GNU parallel

  Show description for 7c62504
  tautschnig

  committed
  7c62504

  Copy full SHA for 7c62504

Commits on Apr 4, 2025

• Upgrade CVC5 in CI to 1.2.1

  Show description for 44a77b3
  tautschnig

  committed
  44a77b3

  Copy full SHA for 44a77b3