Skip to content

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

Actions

deploy site

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
869 workflow runs
869 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix tag deploy site #2181: Commit 2c8dfcb pushed by robertylewis
October 18, 2023 21:56 2m 8s teaching-materials
teaching-materials
October 18, 2023 21:56 2m 8s
Courses: Allow to click anywhere to get details deploy site #2180: Commit 188323a pushed by PatrickMassot
October 18, 2023 19:33 2m 28s teaching-materials
teaching-materials
October 18, 2023 19:33 2m 28s
Refactor tag filtering deploy site #2179: Commit c4b57b2 pushed by PatrickMassot
October 18, 2023 19:31 1m 49s teaching-materials
teaching-materials
October 18, 2023 19:31 1m 49s
update institutions deploy site #2178: Commit 36bf8e8 pushed by robertylewis
October 18, 2023 18:54 1m 30s teaching-materials
teaching-materials
October 18, 2023 18:54 1m 30s
Handle Lean version deploy site #2177: Commit b246929 pushed by PatrickMassot
October 18, 2023 18:19 2m 29s teaching-materials
teaching-materials
October 18, 2023 18:19 2m 29s
missing lean version deploy site #2176: Commit 49532c5 pushed by robertylewis
October 18, 2023 18:17 1m 33s teaching-materials
teaching-materials
October 18, 2023 18:17 1m 33s
move Lean version to field instead of tag deploy site #2175: Commit b628303 pushed by robertylewis
October 18, 2023 18:15 1m 52s teaching-materials
teaching-materials
October 18, 2023 18:15 1m 52s
notes for expanding practices deploy site #2174: Commit dd083c6 pushed by robertylewis
October 18, 2023 18:10 2m 41s teaching-materials
teaching-materials
October 18, 2023 18:10 2m 41s
More precise link deploy site #2173: Commit c6842b0 pushed by PatrickMassot
October 18, 2023 18:02 3m 6s teaching-materials
teaching-materials
October 18, 2023 18:02 3m 6s
Fix formatting deploy site #2172: Commit 551e3eb pushed by PatrickMassot
October 18, 2023 17:59 2m 10s teaching-materials
teaching-materials
October 18, 2023 17:59 2m 10s
Fix deploy site #2171: Commit 6e8210c pushed by PatrickMassot
October 18, 2023 17:43 1m 46s teaching-materials
teaching-materials
October 18, 2023 17:43 1m 46s
cleanup website/repo/materials deploy site #2170: Commit 24a7641 pushed by robertylewis
October 18, 2023 17:40 2m 39s teaching-materials
teaching-materials
October 18, 2023 17:40 2m 39s
Make website optional deploy site #2169: Commit fb04976 pushed by PatrickMassot
October 18, 2023 17:40 2m 6s teaching-materials
teaching-materials
October 18, 2023 17:40 2m 6s
Courses: rendering tweaks deploy site #2168: Commit 5ae2ce7 pushed by PatrickMassot
October 18, 2023 16:30 1m 40s teaching-materials
teaching-materials
October 18, 2023 16:30 1m 40s
describe fields and tags in yaml file deploy site #2167: Commit 7ac8904 pushed by robertylewis
October 18, 2023 16:28 1m 41s teaching-materials
teaching-materials
October 18, 2023 16:28 1m 41s
move languages to tags deploy site #2166: Commit 9e34f41 pushed by robertylewis
October 18, 2023 16:14 1m 43s teaching-materials
teaching-materials
October 18, 2023 16:14 1m 43s
Courses: Disable sorting for irrelevant columns. deploy site #2165: Commit dccb06e pushed by PatrickMassot
October 18, 2023 16:11 1m 48s teaching-materials
teaching-materials
October 18, 2023 16:11 1m 48s
add years and languages to courses deploy site #2164: Commit 735ca98 pushed by robertylewis
October 18, 2023 16:07 1m 43s teaching-materials
teaching-materials
October 18, 2023 16:07 1m 43s
Courses: Replace dates with year and sort list. deploy site #2163: Commit 8ac8fd9 pushed by PatrickMassot
October 18, 2023 16:03 2m 32s teaching-materials
teaching-materials
October 18, 2023 16:03 2m 32s
Add a missing lean4 tag to my paper deploy site #2162: Commit 55879c3 pushed by eric-wieser
October 18, 2023 12:11 8m 6s lean4
lean4
October 18, 2023 12:11 8m 6s
deploy site deploy site #2161: Scheduled
October 18, 2023 04:00 7m 7s lean4
lean4
October 18, 2023 04:00 7m 7s
Version using DataTables deploy site #2160: Commit c94b642 pushed by PatrickMassot
October 18, 2023 00:46 2m 8s teaching-materials
teaching-materials
October 18, 2023 00:46 2m 8s
remove theory docs from side menu deploy site #2159: Commit ff00907 pushed by PatrickMassot
October 17, 2023 23:27 9m 14s lean4
lean4
October 17, 2023 23:27 9m 14s
Copy-paste typos deploy site #2158: Commit 5434cc6 pushed by PatrickMassot
October 17, 2023 20:22 1m 45s teaching-materials
teaching-materials
October 17, 2023 20:22 1m 45s
curly brace alternative to done deploy site #2157: Commit 48420b8 pushed by robertylewis
October 17, 2023 20:21 2m 10s teaching-materials
teaching-materials
October 17, 2023 20:21 2m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.