All workflows

Workflow runs

• main

  completed successfully:
  main#18:Scheduled
  main

  Nov 1, 20263m 50s
  More actions for workflow run 18

• main

  completed successfully:
  main#17:Scheduled
  main

  Oct 25, 20263m 51s
  More actions for workflow run 17

• main

  completed successfully:
  main#16:Scheduled
  main

  Oct 18, 20263m 21s
  More actions for workflow run 16

• main

  completed successfully:
  main#15:Scheduled
  main

  Oct 11, 20262m 41s
  More actions for workflow run 15

• main

  completed successfully:
  main#14:Scheduled
  main

  Oct 4, 20263m 18s
  More actions for workflow run 14

• main

  completed successfully:
  main#13:Scheduled
  main

  Sep 27, 202612m 0s
  More actions for workflow run 13

• Clarify signed-zero behavior in Signed predicate documentation

  failed:
  PR#305:Pull request#387synchronizebyRanaPriyansh
  RanaPriyansh:docs/signed-zero-385

  Sep 24, 202630d 0h 3m 17s
  More actions for workflow run 305

• Clarify signed-zero behavior in Signed predicate documentation

  failed:
  PR#304:Pull request#387openedbyRanaPriyansh
  RanaPriyansh:docs/signed-zero-385

  Sep 20, 202630d 0h 3m 23s
  More actions for workflow run 304

• main

  completed successfully:
  main#12:Scheduled
  main

  Sep 20, 20263m 26s
  More actions for workflow run 12

• Add a feature to enforce libm in std environment

  failed:
  PR#303:Pull request#375synchronizebyElouanPetereau
  ElouanPetereau:feature/force_libm

  Sep 16, 202630d 0h 3m 45s
  More actions for workflow run 303

• main

  completed successfully:
  main#11:Scheduled
  main

  Sep 13, 20264m 6s
  More actions for workflow run 11

• main

  completed successfully:
  main#10:Scheduled
  main

  Sep 6, 20263m 30s
  More actions for workflow run 10

• Add full support for Saturating<T> closely matching that of Wrapping<T>

  failed:
  PR#302:Pull request#386openedbymikwielgus
  mikwielgus:saturating

  Sep 1, 202630d 0h 2m 11s
  More actions for workflow run 302

• main

  completed successfully:
  main#9:Scheduled
  main

  Aug 30, 20263m 4s
  More actions for workflow run 9

• main

  completed successfully:
  main#8:Scheduled
  main

  Aug 23, 20262m 14s
  More actions for workflow run 8

• Add traits for distinguished 0 without Add and 1 without Mul

  failed:
  PR#300:Pull request#383synchronizebymikwielgus
  mikwielgus:main

  Aug 19, 202630d 0h 3m 13s
  More actions for workflow run 300

• Add traits for distinguished 0 without Add and 1 without Mul

  failed:
  PR#299:Pull request#383openedbymikwielgus
  mikwielgus:main

  Aug 19, 202630d 0h 4m 9s
  More actions for workflow run 299

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#298:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 18, 202630d 0h 3m 36s
  More actions for workflow run 298

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#297:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 17, 202630d 0h 0m 25s
  More actions for workflow run 297

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#296:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 17, 202630d 0h 0m 6s
  More actions for workflow run 296

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#295:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 17, 202630d 0h 2m 43s
  More actions for workflow run 295

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#294:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 17, 202630d 0h 0m 26s
  More actions for workflow run 294

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#293:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 17, 202630d 0h 2m 6s
  More actions for workflow run 293

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#292:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 17, 202630d 0h 1m 46s
  More actions for workflow run 292

• Introduce trait for (forced) total ordering of numbers

  failed:
  PR#291:Pull request#381synchronizebyfogti
  fogti:total-ord

  Aug 16, 202630d 0h 2m 3s
  More actions for workflow run 291