Skip to content

Actions: Paul-Lez/PersistentDecomp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adopt the module system Build Lean project #52: Commit ca97f19 pushed by YaelDillies
25m 56s master
master
25m 56s
Bump mathlib to v4.27.0 Build Lean project #51: Commit 78ecfcd pushed by YaelDillies
25m 44s master
master
25m 44s
Bump mathlib to v4.27.0 .github/workflows/lean-release-tag.yml #8: Commit 78ecfcd pushed by YaelDillies
11s master
master
11s
Bump mathlib to v4.26.0 Build Lean project #50: Commit c364710 pushed by YaelDillies
26m 7s master
master
26m 7s
Bump mathlib to v4.26.0 .github/workflows/lean-release-tag.yml #7: Commit c364710 pushed by YaelDillies
11s master
master
11s
Lint to mathlib standards Build Lean project #49: Commit 76c8cac pushed by YaelDillies
9m 33s master
master
9m 33s
Fix simpNF linter warnings Build Lean project #48: Commit 3a163fa pushed by YaelDillies
9m 13s master
master
9m 13s
There is no blueprint Build Lean project #47: Commit 25c08c3 pushed by YaelDillies
22m 46s master
master
22m 46s
Use leanprover-community/docgen-action Build Lean project #46: Commit 52695b4 pushed by YaelDillies
4m 28s master
master
4m 28s
Merge pull request #4 from kim-em/fix-unused-arguments Build Lean project #45: Commit 69373bc pushed by Paul-Lez
9m 19s master
master
9m 19s
License Build Lean project #44: Commit 8338cd2 pushed by YaelDillies
9m 36s master
master
9m 36s
Trivially finished theorem Step2_2 Build Lean project #43: Commit 24fb645 pushed by YaelDillies
9m 46s master
master
9m 46s
Bump mathlib to v4.25.0 Build Lean project #42: Commit 8b8d401 pushed by YaelDillies
23m 20s master
master
23m 20s
Bump mathlib to v4.25.0 .github/workflows/lean-release-tag.yml #6: Commit 8b8d401 pushed by YaelDillies
9s master
master
9s
Bump mathlib to v4.24.0 Build Lean project #41: Commit db60ecb pushed by YaelDillies
20m 19s master
master
20m 19s
Bump mathlib to v4.24.0 .github/workflows/lean-release-tag.yml #5: Commit db60ecb pushed by YaelDillies
8s master
master
8s
Bump mathlib to v4.23.0 .github/workflows/lean-release-tag.yml #4: Commit f32c24f pushed by YaelDillies
8s master
master
8s
Bump mathlib to v4.23.0 Build Lean project #40: Commit f32c24f pushed by YaelDillies
24m 24s master
master
24m 24s
Bump nokogiri from 1.18.4 to 1.18.9 in /website Build Lean project #39: Commit d2ceb3f pushed by YaelDillies
30m 3s master
master
30m 3s
Bump nokogiri from 1.18.4 to 1.18.9 in /website .github/workflows/push_pr.yml #1: Commit 94ac7ee pushed by dependabot bot
20m 36s dependabot/bundler/website/nokogiri-1.18.9
dependabot/bundler/website/nokogiri-1.18.9
20m 36s
bundler in for nokogiri - Update #1079012719 Dependabot Updates #3: by dependabot bot
49s master
master
49s
Bump mathlib to v4.22.0 Build Lean project #38: Commit 6401f9d pushed by YaelDillies
20m 20s master
master
20m 20s
Bump mathlib to v4.22.0 .github/workflows/lean-release-tag.yml #3: Commit 6401f9d pushed by YaelDillies
8s master
master
8s
lean-release-tag workflow Build Lean project #37: Commit bec69ec pushed by YaelDillies
21m 5s master
master
21m 5s
Bump mathlib to v4.22.0 .github/workflows/lean-release-tag.yml #2: Commit 4177cab pushed by YaelDillies
10s master
master
10s