Merge pull request #8 from epi-project/compilation-in-specification #5

Triggered via push July 3, 2024 15:12

Lut99

main

Status Success

Total duration 5m 52s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	119 MB