Run CI on PRs that come from forks #107 #103

Triggered via pull request January 13, 2024 17:25

Seasawher

opened #127

Status Success

Total duration 1m 38s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size
Metaprogramming in Lean 4 Expired	530 KB