Skip to content

Actions: leanprover-community/leanprover-community.github.io

Actions

build site (pull request)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_pr.yml
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: switch deploy token to GitHub apps token build site (pull request) #165: Pull request #783 synchronize by bryangingechen
30s bryangingechen-patch-2
bryangingechen-patch-2
30s
fix: switch deploy token to GitHub apps token build site (pull request) #164: Pull request #783 synchronize by bryangingechen
2m 13s bryangingechen-patch-2
bryangingechen-patch-2
2m 13s
fix: switch deploy token to GitHub apps token build site (pull request) #163: Pull request #783 opened by bryangingechen
7m 41s bryangingechen-patch-2
bryangingechen-patch-2
7m 41s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #162: Pull request #779 synchronize by kim-em
1h 39m 19s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
1h 39m 19s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #161: Pull request #779 synchronize by kim-em
43s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
43s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #160: Pull request #779 synchronize by kim-em
22s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
22s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #159: Pull request #779 synchronize by kim-em
2m 12s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
2m 12s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #158: Pull request #779 synchronize by kim-em
1h 7m 13s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
1h 7m 13s
doc: update Mathlib PR workflow for fork-based contributions build site (pull request) #157: Pull request #777 synchronize by kim-em
17m 17s kim-em:update-mathlib-pr-workflow
kim-em:update-mathlib-pr-workflow
17m 17s
feat(style): explicit types build site (pull request) #156: Pull request #782 synchronize by fpvandoorn
1h 6m 50s style-explicit-types
style-explicit-types
1h 6m 50s
feat(style): explicit types build site (pull request) #155: Pull request #782 opened by fpvandoorn
38m 3s style-explicit-types
style-explicit-types
38m 3s
docs: add "How do I cite mathlib?" page build site (pull request) #154: Pull request #781 synchronize by kim-em
7m 50s kim-em:add-citation-page
kim-em:add-citation-page
7m 50s
docs: add "How do I cite mathlib?" page build site (pull request) #153: Pull request #781 opened by kim-em
56m 28s kim-em:add-citation-page
kim-em:add-citation-page
56m 28s
chore: update labels which can be added through comments build site (pull request) #152: Pull request #780 opened by joneugster
7m 34s joneugster:patch-1
joneugster:patch-1
7m 34s
feat(style): avoid nonrec build site (pull request) #151: Pull request #689 synchronize by kim-em
11m 39s avoid-nonrec
avoid-nonrec
11m 39s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #150: Pull request #779 synchronize by kim-em
2h 8m 13s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
2h 8m 13s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #149: Pull request #779 synchronize by kim-em
36s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
36s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #148: Pull request #779 synchronize by kim-em
1m 16s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
1m 16s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #147: Pull request #779 synchronize by kim-em
39s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
39s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #146: Pull request #779 synchronize by kim-em
32s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
32s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #145: Pull request #779 synchronize by kim-em
1h 4m 50s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
1h 4m 50s
feat(style): avoid nonrec build site (pull request) #144: Pull request #689 synchronize by kim-em
58m 29s avoid-nonrec
avoid-nonrec
58m 29s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #143: Pull request #779 synchronize by kim-em
57m 55s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
57m 55s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #142: Pull request #779 synchronize by kim-em
1m 55s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
1m 55s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers build site (pull request) #141: Pull request #779 synchronize by kim-em
1m 11s kim-em:kim/guard-msgs-documentation
kim-em:kim/guard-msgs-documentation
1m 11s