Skip to content

Actions: leanprover-community/blog

Actions

deploy site

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #94 from hcarlens/master deploy site #536: Commit 7b20f02 pushed by jcommelin
November 25, 2024 17:49 35s master
master
November 25, 2024 17:49 35s
Add blog post on probability (#93) deploy site #535: Commit fad9a60 pushed by PatrickMassot
October 18, 2024 08:28 36s master
master
October 18, 2024 08:28 36s
Merge pull request #91 from herostrat/inf-cosmos deploy site #534: Commit 8184b19 pushed by kim-em
September 18, 2024 00:13 39s master
master
September 18, 2024 00:13 39s
Revert "feat: add actionlint (#89)" deploy site #533: Commit 6e0f57f pushed by bryangingechen
August 2, 2024 16:47 35s master
master
August 2, 2024 16:47 35s
feat: add actionlint (#89) deploy site #532: Commit 2654ea3 pushed by bryangingechen
August 2, 2024 16:36 35s master
master
August 2, 2024 16:36 35s
footnotes deploy site #531: Commit 9da3983 pushed by YaelDillies
July 25, 2024 12:06 45s tradeoff-of-defining-types-as-subobjects
tradeoff-of-defining-types-as-subobjects
July 25, 2024 12:06 45s
missing using deploy site #530: Commit 5d922af pushed by YaelDillies
July 25, 2024 12:01 36s tradeoff-of-defining-types-as-subobjects
tradeoff-of-defining-types-as-subobjects
July 25, 2024 12:01 36s
Tradeoff of defining types as subobjects deploy site #529: Commit c53c4f0 pushed by YaelDillies
July 25, 2024 11:43 34s tradeoff-of-defining-types-as-subobjects
tradeoff-of-defining-types-as-subobjects
July 25, 2024 11:43 34s
Merge pull request #85 from kbuzzard/master deploy site #528: Commit 1dd2183 pushed by eric-wieser
July 13, 2024 13:22 30s master
master
July 13, 2024 13:22 30s
add whitelines (#82) deploy site #527: Commit 106b212 pushed by PatrickMassot
July 2, 2024 16:43 50s master
master
July 2, 2024 16:43 50s
Update mim-2024-05.md (#83) deploy site #526: Commit 5146ef8 pushed by PatrickMassot
July 2, 2024 16:42 37s master
master
July 2, 2024 16:42 37s
Fixed two typos in Blog, (#84) deploy site #525: Commit f7d4acf pushed by PatrickMassot
July 1, 2024 21:39 34s master
master
July 1, 2024 21:39 34s
Update mim-2024-05.md deploy site #524: Commit 4543251 pushed by jcommelin
July 1, 2024 15:56 32s jcommelin-patch-1
jcommelin-patch-1
July 1, 2024 15:56 32s
Month in Mathlib - Reorganise (#81) deploy site #523: Commit 4f7d251 pushed by YaelDillies
July 1, 2024 14:24 35s master
master
July 1, 2024 14:24 35s
update script deploy site #522: Commit ade6c80 pushed by YaelDillies
July 1, 2024 13:39 31s month-in-mathlib-sort
month-in-mathlib-sort
July 1, 2024 13:39 31s
Month in Mathlib May 2024 - More fixes (#79) deploy site #521: Commit 99bbdb1 pushed by YaelDillies
July 1, 2024 13:08 42s master
master
July 1, 2024 13:08 42s
Month in Mathlib May 2024 - More fixes deploy site #520: Commit 8f5c814 pushed by YaelDillies
July 1, 2024 13:06 38s month-in-mathlib-2024-may-more-fixes
month-in-mathlib-2024-may-more-fixes
July 1, 2024 13:06 38s
Month in Mathlib May 2024 - More fixes deploy site #519: Commit 8f5c814 pushed by YaelDillies
July 1, 2024 12:52 35s month-in-mathlib-2024-may-fix
month-in-mathlib-2024-may-fix
July 1, 2024 12:52 35s
Month in Mathlib May 2024 - Fixes (#78) deploy site #518: Commit 3a4ca49 pushed by YaelDillies
July 1, 2024 12:51 41s month-in-mathlib-2024-may-fix
month-in-mathlib-2024-may-fix
July 1, 2024 12:51 41s
Month in Mathlib May 2024 - Fixes (#78) deploy site #517: Commit 3a4ca49 pushed by YaelDillies
July 1, 2024 12:40 35s master
master
July 1, 2024 12:40 35s
Month in Mathlib May 2024 - Fixes deploy site #516: Commit 180518a pushed by YaelDillies
July 1, 2024 12:38 31s month-in-mathlib-2024-may-fix
month-in-mathlib-2024-may-fix
July 1, 2024 12:38 31s
Month in Mathlib May 2024 (#76) deploy site #515: Commit 651f4e3 pushed by YaelDillies
July 1, 2024 11:28 30s master
master
July 1, 2024 11:28 30s
typo deploy site #514: Commit a702f4d pushed by YaelDillies
July 1, 2024 11:23 30s month-in-mathlib-2024-may
month-in-mathlib-2024-may
July 1, 2024 11:23 30s
Merge branch 'master' into month-in-mathlib-2024-may deploy site #513: Commit 9c6a099 pushed by YaelDillies
July 1, 2024 11:15 35s month-in-mathlib-2024-may
month-in-mathlib-2024-may
July 1, 2024 11:15 35s
typo deploy site #512: Commit 3ac46e4 pushed by YaelDillies
June 30, 2024 06:56 31s month-in-mathlib-2024-may
month-in-mathlib-2024-may
June 30, 2024 06:56 31s