Skip to content

Actions: leanprover/fp-lean

Actions

Close Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
close-pr.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fixes for fp-lean Close Pull Request #4: Pull request #158 opened by turibe
May 8, 2024 17:07 12s
May 8, 2024 17:07 12s
doc: Typos and corrections Close Pull Request #3: Pull request #149 opened by hmonroe
January 29, 2024 15:50 14s
January 29, 2024 15:50 14s
Fix the year of the upcoming release in Release history Close Pull Request #2: Pull request #148 opened by azolotko
January 10, 2024 12:30 11s
January 10, 2024 12:30 11s
Test PR Close Pull Request #1: Pull request #144 opened by david-christiansen
January 3, 2024 11:10 40s
January 3, 2024 11:10 40s