formal specs

Workflow runs for formal specs

• fix(relay): publish a git push only when refs changed; check the protocol by refinement

  completed successfully:
  formal specs#3:Pull request#9425synchronizebyjmecom
  jm/git-formal-assurance

  Nov 13, 202616m 47s
  More actions for workflow run 3

• fix(relay): publish a git push only when refs changed; check the protocol by refinement

  completed successfully:
  formal specs#2:Pull request#9425synchronizebyjmecom
  jm/git-formal-assurance

  Nov 13, 202612m 27s
  More actions for workflow run 2

• fix(relay): publish a git push only when refs changed; check the protocol by refinement

  completed successfully:
  formal specs#1:Pull request#9425openedbyjmecom
  jm/git-formal-assurance

  Nov 12, 202610m 23s
  More actions for workflow run 1