test with Coq 8.19

enabled an automatic merge when the pipeline for 812bb965 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• fba61d41 - test with Coq 8.19

Compare with previous version

enabled an automatic merge when the pipeline for fba61d41 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• e036e331 - test with Coq 8.19

Compare with previous version

enabled an automatic merge when the pipeline for e036e331 succeeds

mentioned in commit e10886f8

merged