Add PR approval check for specific directories · model-checking/verify-rust-std@add26d9

Triggered via pull request July 10, 2024 16:26

synchronize #31

Status Success

Total duration 4m 26s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.25 MB