Skip to content

Actions: teorth/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
391 workflow runs
391 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib to v4.18.0 Build Lean project #706: Commit 0010cb5 pushed by YaelDillies
April 4, 2025 15:21 31m 0s master
master
April 4, 2025 15:21 31m 0s
Don't copy the README as the website's landing page Build Lean project #705: Commit b29244e pushed by YaelDillies
April 4, 2025 11:54 12m 50s master
master
April 4, 2025 11:54 12m 50s
Fix the upstreaming dashboard Build Lean project #704: Commit cd25c54 pushed by YaelDillies
April 4, 2025 08:00 30m 2s master
master
April 4, 2025 08:00 30m 2s
Bump mathlib Build Lean project #703: Commit 14041f0 pushed by YaelDillies
March 14, 2025 19:30 30m 4s master
master
March 14, 2025 19:30 30m 4s
Link to upstreaming dashboard and file dependency graph Build Lean project #702: Commit 43c4fcd pushed by YaelDillies
March 7, 2025 12:16 12m 1s master
master
March 7, 2025 12:16 12m 1s
Fix the website landing page Build Lean project #701: Commit 7ee82a5 pushed by YaelDillies
March 7, 2025 12:14 11m 59s master
master
March 7, 2025 12:14 11m 59s
bump mathlib (#238) Build Lean project #700: Commit 4d9ac12 pushed by YaelDillies
March 7, 2025 07:53 26m 4s master
master
March 7, 2025 07:53 26m 4s
bump mathlib .github/workflows/push_pr.yml #629: Pull request #238 opened by sgouezel
March 6, 2025 18:29 6m 27s sgouezel:SG_bump
sgouezel:SG_bump
March 6, 2025 18:29 6m 27s
Delete upstreamed lemmas (#237) Build Lean project #699: Commit 2763ad9 pushed by YaelDillies
March 6, 2025 16:47 12m 30s master
master
March 6, 2025 16:47 12m 30s
Delete upstreamed lemmas .github/workflows/push_pr.yml #628: Pull request #237 opened by sgouezel
March 6, 2025 16:35 7m 20s sgouezel:SG_lint2
sgouezel:SG_lint2
March 6, 2025 16:35 7m 20s
lint (#236) Build Lean project #698: Commit d82d4ed pushed by YaelDillies
March 6, 2025 14:14 30m 38s master
master
March 6, 2025 14:14 30m 38s
lint .github/workflows/push_pr.yml #627: Pull request #236 synchronize by YaelDillies
March 6, 2025 14:14 6m 42s sgouezel:SG_lint
sgouezel:SG_lint
March 6, 2025 14:14 6m 42s
Bump mathlib Build Lean project #697: Commit 20b51d5 pushed by YaelDillies
March 6, 2025 14:00 29m 37s master
master
March 6, 2025 14:00 29m 37s
lint .github/workflows/push_pr.yml #626: Pull request #236 opened by sgouezel
March 6, 2025 13:37 6m 31s sgouezel:SG_lint
sgouezel:SG_lint
March 6, 2025 13:37 6m 31s
Steal FLT's blueprint CI Build Lean project #696: Commit 620466f pushed by YaelDillies
March 5, 2025 20:41 28m 40s master
master
March 5, 2025 20:41 28m 40s
Steal FLT's blueprint CI Build Lean project #695: Commit 30669c5 pushed by YaelDillies
March 5, 2025 19:12 29m 18s master
master
March 5, 2025 19:12 29m 18s
Bump mathlib to v4.17.0 (#234) Build Lean project #694: Commit 94d8fe0 pushed by YaelDillies
March 5, 2025 13:15 26m 48s master
master
March 5, 2025 13:15 26m 48s
Bump mathlib to v4.17.0 .github/workflows/push_pr.yml #625: Pull request #234 synchronize by mo271
March 5, 2025 12:02 6m 39s mo271:bump_4.17.0
mo271:bump_4.17.0
March 5, 2025 12:02 6m 39s
Bump mathlib to v4.17.0 .github/workflows/push_pr.yml #623: Pull request #234 synchronize by mo271
March 5, 2025 11:39 16s mo271:bump_4.17.0
mo271:bump_4.17.0
March 5, 2025 11:39 16s
Bump mathlib to v4.17.0 .github/workflows/push_pr.yml #622: Pull request #234 synchronize by mo271
March 5, 2025 07:46 6m 34s mo271:bump_4.17.0
mo271:bump_4.17.0
March 5, 2025 07:46 6m 34s
Bump mathlib Build Lean project #693: Commit b5cdde1 pushed by YaelDillies
February 26, 2025 13:17 27m 18s master
master
February 26, 2025 13:17 27m 18s
CI changes coming from add-combi Build Lean project #692: Commit fa90374 pushed by YaelDillies
February 26, 2025 11:57 27m 16s master
master
February 26, 2025 11:57 27m 16s
CI changes coming from add-combi Build Lean project #691: Commit 36de586 pushed by YaelDillies
February 16, 2025 11:43 28m 28s master
master
February 16, 2025 11:43 28m 28s
CI changes coming from add-combi Build Lean project #690: Commit 7e0bf2f pushed by YaelDillies
February 16, 2025 10:52 27m 19s master
master
February 16, 2025 10:52 27m 19s
CI changes coming from add-combi Build Lean project #689: Commit b98f035 pushed by YaelDillies
February 16, 2025 00:46 6m 50s master
master
February 16, 2025 00:46 6m 50s