Use alectryon to generate doc with proof state

Let's use this awesome tool: https://github.com/cpitclaudel/alectryon

While at it, also update the CI configuration to minimize the jobs that run in wip- branches.

assigned to @bbb

added 1 commit

• d7bbf1b9 - WIP CI debugging

Compare with previous version

added 1 commit

• a49693c9 - WIP CI debugging

Compare with previous version

added 1 commit

• b15e056a - WIP debug CI

Compare with previous version

added 1 commit

• 3acaca07 - WIP CI config

Compare with previous version

added 1 commit

• d03906d8 - CI: don't run expensive jobs in wip- branches

Compare with previous version

added 2 commits

• f46ed3b1 - remove old proof-state scripts
• d23b8aa9 - WIP update image to use

Compare with previous version

added 1 commit

• 783a2b16 - WIP typo

Compare with previous version

added 1 commit

• 09df88d9 - WIP CI debugging

Compare with previous version

added 2 commits

• d391887e - CI: use custom Docker image for proof-state collection
• 5470f685 - CI: remove old proof-state scripts

Compare with previous version

changed the description

marked this merge request as ready

@mmaida @sbozhko — please take a look at these tweaks.

1. Here's an example of the new alectryon-based doc in action.

2. Another important change: if the names of your development branches start with wip-, then you'll get much faster and less annoying CI results because pretty much anything expensive or purely cosmetic is being skipped.

added 1 commit

• 2b87d4dc - Makefile: allow alectryon to work in parallel

Compare with previous version

mentioned in merge request !134 (closed)

added 7 commits

• 18ec53fb - 1 commit from branch master
• 942ebf56 - add alectryon wrapper script and `make alectryon` target
• 02c227d0 - CI: use alectryon for proof-state display
• e30e697c - CI: don't run expensive jobs in wip- branches
• d3ea0966 - CI: use custom Docker image for proof-state collection
• b70c70a3 - CI: remove old proof-state scripts
• b6d83a7b - Makefile: allow alectryon to work in parallel

Compare with previous version

added 7 commits

• 03096a44 - 1 commit from branch master
• 6d39a63c - add alectryon wrapper script and `make alectryon` target
• 1cfa5d27 - CI: use alectryon for proof-state display
• 40c206bd - CI: don't run expensive jobs in wip- branches
• a386993c - CI: use custom Docker image for proof-state collection
• 1ef392cc - CI: remove old proof-state scripts
• 9f99f33f - Makefile: allow alectryon to work in parallel

Compare with previous version

enabled an automatic merge when the pipeline for 9f99f33f succeeds

merged