Merge pull request #2 from cryspen/step #72
abentkampci.yml
on: push
cargo fmt
14s
cargo test
57s
aeneas extraction + lake build
42m 43s