add macros

1 job for ci/macros in 14 minutes and 44 seconds (queued for 13 minutes and 8 seconds)
Status Job ID Name Coverage
  Build
passed #105822
fp-timing
build-coq.8.12.0

00:14:44