search

Workflow runs for search

• search

  failed:
  search#11:Scheduled
  main

  Nov 1, 20269m 43s
  More actions for workflow run 11

• search

  failed:
  search#10:Scheduled
  main

  Oct 25, 20269m 37s
  More actions for workflow run 10

• test(ctl,mech): random properties for the clock arithmetic

  completed successfully:
  search#9:Pull request#126synchronizebydonislawdev
  test/property-search-time

  Oct 19, 20262m 6s
  More actions for workflow run 9

• test(ctl,mech): random properties for the clock arithmetic

  completed successfully:
  search#8:Pull request#126openedbydonislawdev
  test/property-search-time

  Oct 19, 20261m 53s
  More actions for workflow run 8

• test(mech): random properties for what a session hands its target and leaves in the registry

  completed successfully:
  search#7:Pull request#125openedbydonislawdev
  test/property-search-mech

  Oct 19, 20264m 19s
  More actions for workflow run 7

• test(cli): random properties for what the tool reads from catalogue files, and three refusals in the file's words

  completed successfully:
  search#6:Pull request#124synchronizebydonislawdev
  test/property-search-loaded

  Oct 19, 20261m 53s
  More actions for workflow run 6

• test(cli): random properties for what the tool reads from catalogue files, and three refusals in the file's words

  completed successfully:
  search#5:Pull request#124openedbydonislawdev
  test/property-search-loaded

  Oct 19, 20261m 52s
  More actions for workflow run 5

• test(proto,cli): random properties for the protocol and the CDP inputs

  completed successfully:
  search#4:Pull request#121synchronizebydonislawdev
  test/property-search-protocol

  Oct 19, 20264m 0s
  More actions for workflow run 4

• test(proto,cli): random properties for the protocol and the CDP inputs

  completed successfully:
  search#3:Pull request#121openedbydonislawdev
  test/property-search-protocol

  Oct 19, 20265m 11s
  More actions for workflow run 3

• test(core,cli): random properties beside the code they search, and a weekly run that looks for new cases

  completed successfully:
  search#2:Pull request#116synchronizebydonislawdev
  test/property-search

  Oct 17, 20261m 36s
  More actions for workflow run 2

• test(core,cli): random properties beside the code they search, and a weekly run that looks for new cases

  completed successfully:
  search#1:Pull request#116openedbydonislawdev
  test/property-search

  Oct 17, 20261m 57s
  More actions for workflow run 1