All workflows

Workflow runs

• Build

  completed successfully:
  Build#729:Scheduled
  main

  Nov 15, 20261m 11s
  More actions for workflow run 729

• Build

  completed successfully:
  Build#728:Scheduled
  main

  Nov 14, 20261m 17s
  More actions for workflow run 728

• Build

  completed successfully:
  Build#727:Scheduled
  main

  Nov 13, 20261m 15s
  More actions for workflow run 727

• Build

  completed successfully:
  Build#726:Scheduled
  main

  Nov 12, 20261m 9s
  More actions for workflow run 726

• Build

  completed successfully:
  Build#725:Scheduled
  main

  Nov 11, 20261m 52s
  More actions for workflow run 725

• Build

  completed successfully:
  Build#724:Scheduled
  main

  Nov 10, 20261m 19s
  More actions for workflow run 724

• Build

  completed successfully:
  Build#723:Scheduled
  main

  Nov 9, 20261m 14s
  More actions for workflow run 723

• Build

  completed successfully:
  Build#722:Scheduled
  main

  Nov 8, 20261m 34s
  More actions for workflow run 722

• Build

  completed successfully:
  Build#721:Scheduled
  main

  Nov 7, 20261m 15s
  More actions for workflow run 721

• Build

  completed successfully:
  Build#720:Scheduled
  main

  Nov 6, 20261m 48s
  More actions for workflow run 720

• Build

  completed successfully:
  Build#719:Scheduled
  main

  Nov 5, 20261m 11s
  More actions for workflow run 719

• Build

  completed successfully:
  Build#718:Scheduled
  main

  Nov 4, 20261m 39s
  More actions for workflow run 718

• Build

  completed successfully:
  Build#717:Scheduled
  main

  Nov 3, 20261m 47s
  More actions for workflow run 717

• Build

  completed successfully:
  Build#716:Scheduled
  main

  Nov 2, 20262m 16s
  More actions for workflow run 716

• Test concurrent lock operations under Miri

  completed successfully:
  Build#715:Pull request#43synchronizebyphil-opp
  miri

  Nov 2, 20261m 10s
  More actions for workflow run 715

• Release v0.4.0 (#44)

  completed successfully:
  Build#714:Commitd60816fpushedbyphil-opp
  v0.4.0

  Nov 2, 20261m 3s
  More actions for workflow run 714

• Test concurrent lock operations under Miri

  requires action with the application:
  Build#713:Pull request#43synchronizebyCopilotAI
  miri

  Nov 2, 2026Action required
  More actions for workflow run 713

• Release v0.4.0

  completed successfully:
  Build#712:Pull request#44openedbyphil-opp
  release-0.4.0

  Nov 2, 202651s
  More actions for workflow run 712

• Agent Merge on PR #43

  completed successfully:
  Copilot cloud agent#1:byCopilotAI
  miri

  Nov 2, 20268m 39s

• Declare MSRV 1.95 and test it in CI

  completed successfully:
  Build#711:Pull request#38synchronizebymkroening
  msrv

  Nov 2, 20262m 35s
  More actions for workflow run 711

• Build

  completed successfully:
  Build#710:Scheduled
  main

  Nov 1, 202651s
  More actions for workflow run 710

• Test concurrent lock operations under Miri

  completed successfully:
  Build#709:Pull request#43synchronizebyphil-opp
  miri

  Oct 31, 20261m 31s
  More actions for workflow run 709

• Test concurrent lock operations under Miri

  completed successfully:
  Build#708:Pull request#43synchronizebyphil-opp
  miri

  Oct 31, 202657s
  More actions for workflow run 708

• Test concurrent lock operations under Miri

  completed successfully:
  Build#707:Pull request#43synchronizebyphil-opp
  miri

  Oct 31, 20261m 35s
  More actions for workflow run 707

• Changelog: document unreleased changes

  completed successfully:
  Build#706:Pull request#42openedbyphil-opp
  changelog

  Oct 31, 202645s
  More actions for workflow run 706