Skip to content

Actions: mo271/FormalBook

Actions

.github/workflows/lean_build.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_build.yml
220 workflow runs
220 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove scripts folder (#86) .github/workflows/lean_build.yml #305: Commit dc59e38 pushed by mo271
December 11, 2024 07:41 2m 8s main
main
December 11, 2024 07:41 2m 8s
remove scripts folder .github/workflows/lean_build.yml #304: Pull request #86 opened by mo271
December 11, 2024 07:37 2m 33s cleanup_scripts
cleanup_scripts
December 11, 2024 07:37 2m 33s
remove scripts folder .github/workflows/lean_build.yml #303: Commit 1ae8f73 pushed by mo271
December 11, 2024 07:37 2m 9s cleanup_scripts
cleanup_scripts
December 11, 2024 07:37 2m 9s
Update update_mathlib.sh (#85) .github/workflows/lean_build.yml #302: Commit 0ce5d98 pushed by mo271
December 11, 2024 07:32 2m 9s main
main
December 11, 2024 07:32 2m 9s
chore: remove unnecessary lake exe cache get .github/workflows/lean_build.yml #301: Pull request #85 opened by pitmonticone
December 10, 2024 23:45 2m 14s pitmonticone:remove-useless-line
pitmonticone:remove-useless-line
December 10, 2024 23:45 2m 14s
Bump mathlib2 .github/workflows/lean_build.yml #300: Pull request #84 synchronize by mo271
December 9, 2024 15:38 2m 36s bump_mathlib2
bump_mathlib2
December 9, 2024 15:38 2m 36s
bump again .github/workflows/lean_build.yml #299: Commit 816bf74 pushed by mo271
December 9, 2024 15:38 2m 7s bump_mathlib2
bump_mathlib2
December 9, 2024 15:38 2m 7s
Bump mathlib2 .github/workflows/lean_build.yml #298: Pull request #84 synchronize by mo271
December 8, 2024 10:28 2m 7s bump_mathlib2
bump_mathlib2
December 8, 2024 10:28 2m 7s
bump again .github/workflows/lean_build.yml #297: Commit 3fa82f4 pushed by mo271
December 8, 2024 10:28 2m 6s bump_mathlib2
bump_mathlib2
December 8, 2024 10:28 2m 6s
Bump mathlib2 .github/workflows/lean_build.yml #296: Pull request #84 opened by mo271
December 7, 2024 11:14 2m 7s bump_mathlib2
bump_mathlib2
December 7, 2024 11:14 2m 7s
fix depration .github/workflows/lean_build.yml #295: Commit 815df64 pushed by mo271
December 7, 2024 11:14 2m 18s bump_mathlib2
bump_mathlib2
December 7, 2024 11:14 2m 18s
LeanAgent Proofs (#67) .github/workflows/lean_build.yml #294: Commit f2784bf pushed by mo271
November 22, 2024 08:05 2m 20s main
main
November 22, 2024 08:05 2m 20s
LeanAgent Proofs .github/workflows/lean_build.yml #293: Pull request #67 synchronize by mo271
November 22, 2024 07:24 2m 8s Adarsh321123:LeanAgent
Adarsh321123:LeanAgent
November 22, 2024 07:24 2m 8s
LeanAgent Proofs .github/workflows/lean_build.yml #292: Pull request #67 synchronize by mo271
November 22, 2024 07:19 2m 9s Adarsh321123:LeanAgent
Adarsh321123:LeanAgent
November 22, 2024 07:19 2m 9s
Surname giacomo .github/workflows/lean_build.yml #291: Pull request #81 synchronize by mo271
November 20, 2024 19:08 2m 27s dhyan-aranha:Surname-Giacomo
dhyan-aranha:Surname-Giacomo
November 20, 2024 19:08 2m 27s
use permanent, which is now in mathlib .github/workflows/lean_build.yml #290: Commit fccdbb3 pushed by mo271
November 20, 2024 15:41 2m 13s main
main
November 20, 2024 15:41 2m 13s
use permanent, which is now in mathlib .github/workflows/lean_build.yml #289: Pull request #80 opened by mo271
November 20, 2024 14:35 2m 20s perm
perm
November 20, 2024 14:35 2m 20s
use permanent, which is now in mathlib .github/workflows/lean_build.yml #288: Commit 972688f pushed by mo271
November 20, 2024 14:35 2m 33s perm
perm
November 20, 2024 14:35 2m 33s
bump mathlib .github/workflows/lean_build.yml #287: Commit cd57cbc pushed by mo271
November 20, 2024 08:58 2m 19s main
main
November 20, 2024 08:58 2m 19s
bump mathlib .github/workflows/lean_build.yml #286: Pull request #79 opened by mo271
November 20, 2024 07:43 2m 8s mathlib_bump
mathlib_bump
November 20, 2024 07:43 2m 8s
bump mathlib .github/workflows/lean_build.yml #285: Commit 6dd0b05 pushed by mo271
November 20, 2024 07:42 2m 12s mathlib_bump
mathlib_bump
November 20, 2024 07:42 2m 12s
de-googlify .github/workflows/lean_build.yml #284: Commit b1c827e pushed by mo271
November 20, 2024 06:43 2m 5s main
main
November 20, 2024 06:43 2m 5s
Formal version of Furstenberg's infinitude of primes, fix blueprint t… .github/workflows/lean_build.yml #282: Commit 9704e03 pushed by mo271
November 12, 2024 15:30 2m 13s main
main
November 12, 2024 15:30 2m 13s
Furstenberg's proof of infinitude of primes .github/workflows/lean_build.yml #281: Pull request #77 opened by luigi-massacci
November 12, 2024 14:53 2m 24s luigi-massacci:furstenberg_primes
luigi-massacci:furstenberg_primes
November 12, 2024 14:53 2m 24s
Permanent conjecture (#76) .github/workflows/lean_build.yml #280: Commit 9f0b5c0 pushed by mo271
November 12, 2024 12:31 2m 5s main
main
November 12, 2024 12:31 2m 5s