verified bar

Workflow runs for verified bar

• Merge pull request #15 from Proven-Commons/gpt-forge/library-owned-pr…

  completed successfully:
  verified bar#57:Commit860b895pushedbyzero-aska
  main

  Oct 30, 20263m 36s
  More actions for workflow run 57

• Move proof modules under Codec

  completed successfully:
  verified bar#56:Pull request#15submittedbyzero-aska
  Oct 30, 20263m 53s
  More actions for workflow run 56

• Move proof modules under Codec

  completed successfully:
  verified bar#55:Pull request#15dismissedbyorda-aska
  Oct 30, 20263m 48s
  More actions for workflow run 55

• Move proof modules under Codec

  completed successfully:
  verified bar#54:Pull request#15submittedbyzero-aska
  Oct 30, 20263m 48s
  More actions for workflow run 54

• Move proof modules under Codec

  completed successfully:
  verified bar#53:Pull request#15dismissedbyzero-aska
  Oct 30, 20264m 50s
  More actions for workflow run 53

• Merge pull request #14 from Proven-Commons/gpt-forge/codec-followup-r…

  completed successfully:
  verified bar#52:Commit6603fb3pushedbyzero-aska
  main

  Oct 30, 20263m 14s
  More actions for workflow run 52

• Move proof modules under Codec

  completed successfully:
  verified bar#51:Pull request#15submittedbyzero-aska
  Oct 30, 20263m 24s
  More actions for workflow run 51

• Bound decimal conversion and cover PEM refusal cases

  completed successfully:
  verified bar#50:Pull request#14submittedbyzero-aska
  Oct 30, 20263m 33s
  More actions for workflow run 50

• Move proof modules under Codec

  completed successfully:
  verified bar#49:Pull request#15synchronizebyorda-aska
  gpt-forge/library-owned-proofs

  Oct 29, 20263m 54s
  More actions for workflow run 49

• Bound decimal conversion and cover PEM refusal cases

  completed successfully:
  verified bar#48:Pull request#14synchronizebyorda-aska
  gpt-forge/codec-followup-regressions

  Oct 29, 20263m 12s
  More actions for workflow run 48

• Move proof modules and spec names under Codec

  completed successfully:
  verified bar#47:Commitcdc9afapushedbyorda-aska
  gpt-forge/library-owned-proofs

  Oct 29, 20264m 32s
  More actions for workflow run 47

• Record test counts with the new fixed regressions

  completed successfully:
  verified bar#46:Commit7dcb6bcpushedbyorda-aska
  gpt-forge/codec-followup-regressions

  Oct 29, 20263m 10s
  More actions for workflow run 46

• Merge claude/pem into claude/check-digits

  completed successfully:
  verified bar#45:Commit37f8066pushedbyibn-aska
  claude/check-digits

  Oct 29, 20264m 2s
  More actions for workflow run 45

• Move proof modules under Codec

  completed successfully:
  verified bar#44:Pull request#15openedbyorda-aska
  gpt-forge/library-owned-proofs

  Oct 28, 20264m 21s
  More actions for workflow run 44

• Move proof modules and spec names under Codec

  completed successfully:
  verified bar#43:Commit49df29bpushedbyorda-aska
  gpt-forge/library-owned-proofs

  Oct 28, 20263m 35s
  More actions for workflow run 43

• Bound decimal conversion and cover PEM refusal cases

  completed successfully:
  verified bar#42:Pull request#14openedbyorda-aska
  gpt-forge/codec-followup-regressions

  Oct 28, 20264m 17s
  More actions for workflow run 42

• Merge pull request #13 from Proven-Commons/claude/apache-2.0-license

  completed successfully:
  verified bar#41:Commit3f319bfpushedbyahrazzle
  main

  Oct 28, 20264m 20s
  More actions for workflow run 41

• Add the Apache License 2.0

  completed successfully:
  verified bar#40:Pull request#13submittedbyahrazzle
  Oct 28, 20262m 57s
  More actions for workflow run 40

• Bound decimal conversion and cover PEM refusal cases

  completed successfully:
  verified bar#39:Commit50704b5pushedbyorda-aska
  gpt-forge/codec-followup-regressions

  Oct 28, 20264m 14s
  More actions for workflow run 39

• Add the Apache License 2.0

  completed successfully:
  verified bar#38:Pull request#13synchronizebyzero-aska
  claude/apache-2.0-license

  Oct 27, 20264m 21s
  More actions for workflow run 38

• Set the Lake package license to Apache-2.0

  completed successfully:
  verified bar#37:Commitb3d19a3pushedbyzero-aska
  claude/apache-2.0-license

  Oct 27, 20264m 22s
  More actions for workflow run 37

• tests/planted_bugs.py: plant a slip of one in isDigit and isUpper

  completed successfully:
  verified bar#36:Commita08c773pushedbyibn-aska
  claude/review-followups

  Oct 27, 20264m 7s
  More actions for workflow run 36

• Add the Apache License 2.0

  completed successfully:
  verified bar#35:Pull request#13openedbyzero-aska
  claude/apache-2.0-license

  Oct 27, 20264m 57s
  More actions for workflow run 35

• Add the Apache License 2.0

  completed successfully:
  verified bar#34:Commit6cea084pushedbyzero-aska
  claude/apache-2.0-license

  Oct 27, 20263m 35s
  More actions for workflow run 34

• tests/planted_bugs.py: say that the tests stop a tool that floods stderr

  completed successfully:
  verified bar#33:Commit9afcffdpushedbyibn-aska
  claude/review-followups

  Oct 26, 20264m 11s
  More actions for workflow run 33