EasyCrypt Docker Containers Build

Workflow runs for EasyCrypt Docker Containers Build

• [docker] provers: bump alt-ergo to 2.6.3

  failed:
  EasyCrypt Docker Containers Build#3:Commiteb58ec7pushedbyvbgl
  main

  May 4, 20263m 30s
  More actions for workflow run 3

• Added prover quorum to project files and command line.

  failed:
  EasyCrypt Docker Containers Build#2:Commit736f20dpushedbyvbgl
  main

  Apr 17, 20263m 33s
  More actions for workflow run 2

• Allow abstract phoare proc on >= 1 bounds and make postcondition side…

  failed:
  EasyCrypt Docker Containers Build#1:Commit83b8f23pushedbyvbgl
  main

  Feb 6, 202614m 28s
  More actions for workflow run 1