All workflows

Workflow runs

• CI: pin Linux runners to ubuntu-26.04; alert on newer images

  completed successfully:
  CI#206:Pull request#66openedbyudesou
  ci-pin-ubuntu-26.04

  Oct 29, 20261h 30m 58s
  More actions for workflow run 206

• CI: pin Linux runners to ubuntu-26.04; alert on newer images

  completed successfully:
  CI (FreeBSD)#117:Pull request#66openedbyudesou
  ci-pin-ubuntu-26.04

  Oct 29, 20261h 5m 0s
  More actions for workflow run 117

• Bump oxcaml to 5e9594d2993a

  completed successfully:
  CI#205:Pull request#65openedbyudesou
  oxcaml-bump

  Oct 29, 20262h 1m 27s
  More actions for workflow run 205

• Bump oxcaml to 5e9594d2993a

  completed successfully:
  CI (FreeBSD)#116:Pull request#65openedbyudesou
  oxcaml-bump

  Oct 29, 202657m 50s
  More actions for workflow run 116

• infer: skip two Pulse procedures that set the wall time (#60)

  completed successfully:
  CI#204:Commit8c5a0adpushedbyudesou
  master

  Oct 29, 20261h 17m 15s
  More actions for workflow run 204

• infer: skip two Pulse procedures that set the wall time (#60)

  completed successfully:
  CI (FreeBSD)#115:Commit8c5a0adpushedbyudesou
  master

  Oct 29, 202659m 0s
  More actions for workflow run 115

• CI (FreeBSD)

  completed successfully:
  CI (FreeBSD)#114:Scheduled
  master

  Oct 26, 202658m 3s
  More actions for workflow run 114

• CI

  completed successfully:
  CI#203:Scheduled
  master

  Oct 26, 20262h 27m 17s
  More actions for workflow run 203

• CI: pin Linux runners to ubuntu-26.04; alert on newer images

  completed successfully:
  CI#202:Pull request#64synchronizebyudesou
  ci-pin-ubuntu-26.04

  Oct 25, 20261h 41m 31s
  More actions for workflow run 202

• CI: pin Linux runners to ubuntu-26.04; alert on newer images

  completed successfully:
  CI (FreeBSD)#113:Pull request#64synchronizebyudesou
  ci-pin-ubuntu-26.04

  Oct 25, 202649m 50s
  More actions for workflow run 113

• CI: pin Linux runners to ubuntu-26.04; alert on newer images

  cancelled:
  CI (FreeBSD)#112:Pull request#64openedbyudesou
  ci-pin-ubuntu-26.04

  Oct 25, 20264m 42s
  More actions for workflow run 112

• CI: pin Linux runners to ubuntu-26.04; alert on newer images

  cancelled:
  CI#201:Pull request#64openedbyudesou
  ci-pin-ubuntu-26.04

  Oct 25, 20264m 56s
  More actions for workflow run 201

• Bump oxcaml to 5e9594d2993a

  completed successfully:
  CI#200:Pull request#63openedbyudesou
  oxcaml-bump

  Oct 25, 20261h 26m 22s
  More actions for workflow run 200

• Bump oxcaml to 5e9594d2993a

  completed successfully:
  CI (FreeBSD)#111:Pull request#63openedbyudesou
  oxcaml-bump

  Oct 25, 202658m 32s
  More actions for workflow run 111

• infer: skip two Pulse procedures that set the wall time (#60)

  completed successfully:
  CI#199:Commite498be0pushedbyudesou
  master

  Oct 25, 20261h 4m 0s
  More actions for workflow run 199

• infer: skip two Pulse procedures that set the wall time (#60)

  completed successfully:
  CI (FreeBSD)#110:Commite498be0pushedbyudesou
  master

  Oct 25, 202651m 17s
  More actions for workflow run 110

• CI

  completed successfully:
  CI#198:Manually runbygithub-actions[bot]Bot
  oxcaml-bump

  Oct 25, 20262h 3m 10s
  More actions for workflow run 198

• OxCaml bump

  completed successfully:
  OxCaml bump#5:Scheduled
  master

  Oct 25, 20262h 4m 54s
  More actions for workflow run 5

• infer: skip two Pulse procedures that set the wall time

  completed successfully:
  CI (FreeBSD)#109:Pull request#60synchronizebyudesou
  infer-skip-pathological

  Oct 23, 202659m 1s
  More actions for workflow run 109

• infer: skip two Pulse procedures that set the wall time

  completed successfully:
  CI#197:Pull request#60synchronizebyudesou
  infer-skip-pathological

  Oct 23, 20261h 59m 25s
  More actions for workflow run 197

• setup: build PCRE 1 from pinned source; no system package (#61)

  completed successfully:
  CI (FreeBSD)#108:Commit556e9cfpushedbyudesou
  master

  Oct 23, 202659m 3s
  More actions for workflow run 108

• setup: build PCRE 1 from pinned source; no system package (#61)

  completed successfully:
  CI#196:Commit556e9cfpushedbyudesou
  master

  Oct 23, 20262h 3m 50s
  More actions for workflow run 196

• setup: build PCRE 1 from pinned source; no system package

  completed successfully:
  CI#195:Pull request#61synchronizebyudesou
  vendor-pcre

  Oct 23, 20261h 59m 26s
  More actions for workflow run 195

• setup: build PCRE 1 from pinned source; no system package

  completed successfully:
  CI (FreeBSD)#107:Pull request#61synchronizebyudesou
  vendor-pcre

  Oct 23, 202657m 30s
  More actions for workflow run 107

• setup: build PCRE 1 from pinned source; no system package

  cancelled:
  CI#194:Pull request#61openedbyudesou
  vendor-pcre

  Oct 23, 202617m 54s
  More actions for workflow run 194