Cache dev container

Workflow runs for Cache dev container

• tests: update get_os_version() doctest version

  failed:
  Cache dev container#9:Commit329519dpushedbygithub-merge-queue[bot]Bot
  main

  Oct 28, 20261h 0m 51s
  More actions for workflow run 9

• ci: run the functional tests with 32 xdist workers

  completed successfully:
  Cache dev container#8:Commit84df490pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 202620m 44s
  More actions for workflow run 8

• devtool: Fix get_newest_s3_artifacts() selecting incomplete revisions

  completed successfully:
  Cache dev container#7:Commitd9f9a57pushedbygithub-merge-queue[bot]Bot
  main

  Oct 26, 202612m 26s
  More actions for workflow run 7

• Cache dev container

  completed successfully:
  Cache dev container#6:Scheduled
  main

  Oct 24, 202621s
  More actions for workflow run 6

• Cache dev container

  completed successfully:
  Cache dev container#5:Scheduled
  main

  Oct 17, 202622s
  More actions for workflow run 5

• Cache dev container

  completed successfully:
  Cache dev container#4:Scheduled
  main

  Oct 10, 202628s
  More actions for workflow run 4

• Cache dev container

  completed successfully:
  Cache dev container#3:Scheduled
  main

  Oct 3, 202626s
  More actions for workflow run 3

• Cache dev container

  completed successfully:
  Cache dev container#2:Scheduled
  main

  Sep 26, 202620s
  More actions for workflow run 2

• ci: load the cached dev container in PR checks

  completed successfully:
  Cache dev container#1:Commit8ff4940pushedbygithub-merge-queue[bot]Bot
  main

  Sep 24, 20262m 2s
  More actions for workflow run 1