Merge pull request #3360 from bacam/coq-sail.0.19 #1789

Triggered via push March 14, 2025 11:00

palmskog

master

Status Success

Total duration 3m 38s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.74 MB	`sha256:c25b536f2c9d1443cb8ae0c7593ac81ecb18ebb1e86f14d75c0298ca0c2c8547`