Skip to content

Actions: Paul-Lez/PersistentDecomp

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
40 workflow runs
40 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #6 from Paul-Lez/dependabot/bundler/website/addres… Build Lean project #59: Commit 4a5843f pushed by Paul-Lez
26m 58s master
master
26m 58s
Bump addressable from 2.8.6 to 2.9.0 in /website Build Lean project #58: Pull request #6 opened by dependabot bot
1m 44s dependabot/bundler/website/addressable-2.9.0
dependabot/bundler/website/addressable-2.9.0
1m 44s
Bump mathlib to v4.29.0 Build Lean project #57: Commit 25a1a1a pushed by YaelDillies
47m 55s master
master
47m 55s
Upstreaming dashboard page Build Lean project #56: Commit 8b87b03 pushed by YaelDillies
10m 31s master
master
10m 31s
README: remove trailing whitespace Build Lean project #55: Commit 0cecdaf pushed by YaelDillies
11m 0s master
master
11m 0s
Use the upstreaming dashboard action Build Lean project #54: Commit 16cceda pushed by YaelDillies
10m 41s master
master
10m 41s
Bump mathlib to v4.28.0 Build Lean project #53: Commit 39fdd57 pushed by YaelDillies
27m 59s master
master
27m 59s
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.26.0 Build Lean project #50: Commit c364710 pushed by YaelDillies
26m 7s master
master
26m 7s
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.24.0 Build Lean project #41: Commit db60ecb pushed by YaelDillies
20m 19s master
master
20m 19s
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 mathlib to v4.22.0 Build Lean project #38: Commit 6401f9d pushed by YaelDillies
20m 20s master
master
20m 20s
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 Build Lean project #36: Commit 4177cab pushed by YaelDillies
18m 59s master
master
18m 59s
Bump mathlib to v4.22.0 Build Lean project #35: Commit 4868004 pushed by YaelDillies
22m 8s master
master
22m 8s