Skip to content

Actions: mo271/FormalBook

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove scripts folder (#86) Lint Style #145: Commit dc59e38 pushed by mo271
December 11, 2024 07:41 12s main
main
December 11, 2024 07:41 12s
remove scripts folder Lint Style #144: Pull request #86 opened by mo271
December 11, 2024 07:37 13s cleanup_scripts
cleanup_scripts
December 11, 2024 07:37 13s
Update update_mathlib.sh (#85) Lint Style #143: Commit 0ce5d98 pushed by mo271
December 11, 2024 07:32 16s main
main
December 11, 2024 07:32 16s
chore: remove unnecessary lake exe cache get Lint Style #142: Pull request #85 opened by pitmonticone
December 10, 2024 23:45 11s pitmonticone:remove-useless-line
pitmonticone:remove-useless-line
December 10, 2024 23:45 11s
Bump mathlib2 Lint Style #141: Pull request #84 synchronize by mo271
December 9, 2024 15:38 14s bump_mathlib2
bump_mathlib2
December 9, 2024 15:38 14s
Bump mathlib2 Lint Style #140: Pull request #84 synchronize by mo271
December 8, 2024 10:28 11s bump_mathlib2
bump_mathlib2
December 8, 2024 10:28 11s
Bump mathlib2 Lint Style #139: Pull request #84 opened by mo271
December 7, 2024 11:14 9s bump_mathlib2
bump_mathlib2
December 7, 2024 11:14 9s
LeanAgent Proofs (#67) Lint Style #138: Commit f2784bf pushed by mo271
November 22, 2024 08:05 10s main
main
November 22, 2024 08:05 10s
LeanAgent Proofs Lint Style #137: Pull request #67 synchronize by mo271
November 22, 2024 07:24 13s Adarsh321123:LeanAgent
Adarsh321123:LeanAgent
November 22, 2024 07:24 13s
LeanAgent Proofs Lint Style #136: Pull request #67 synchronize by mo271
November 22, 2024 07:19 11s Adarsh321123:LeanAgent
Adarsh321123:LeanAgent
November 22, 2024 07:19 11s
Surname giacomo Lint Style #135: Pull request #81 synchronize by mo271
November 20, 2024 19:08 17s dhyan-aranha:Surname-Giacomo
dhyan-aranha:Surname-Giacomo
November 20, 2024 19:08 17s
use permanent, which is now in mathlib Lint Style #134: Commit fccdbb3 pushed by mo271
November 20, 2024 15:41 14s main
main
November 20, 2024 15:41 14s
use permanent, which is now in mathlib Lint Style #133: Pull request #80 opened by mo271
November 20, 2024 14:35 14s perm
perm
November 20, 2024 14:35 14s
bump mathlib Lint Style #132: Commit cd57cbc pushed by mo271
November 20, 2024 08:58 21s main
main
November 20, 2024 08:58 21s
bump mathlib Lint Style #131: Pull request #79 opened by mo271
November 20, 2024 07:43 11s mathlib_bump
mathlib_bump
November 20, 2024 07:43 11s
de-googlify Lint Style #130: Commit b1c827e pushed by mo271
November 20, 2024 06:43 11s main
main
November 20, 2024 06:43 11s
Formal version of Furstenberg's infinitude of primes, fix blueprint t… Lint Style #128: Commit 9704e03 pushed by mo271
November 12, 2024 15:30 17s main
main
November 12, 2024 15:30 17s
Furstenberg's proof of infinitude of primes Lint Style #127: Pull request #77 opened by luigi-massacci
November 12, 2024 14:53 19s luigi-massacci:furstenberg_primes
luigi-massacci:furstenberg_primes
November 12, 2024 14:53 19s
Permanent conjecture (#76) Lint Style #126: Commit 9f0b5c0 pushed by mo271
November 12, 2024 12:31 13s main
main
November 12, 2024 12:31 13s
Permanent conjecture Lint Style #125: Pull request #76 synchronize by mo271
November 12, 2024 10:40 12s permanent_conjecture
permanent_conjecture
November 12, 2024 10:40 12s
Permanent conjecture Lint Style #124: Pull request #76 opened by mo271
November 12, 2024 10:22 15s permanent_conjecture
permanent_conjecture
November 12, 2024 10:22 15s
add permanent conjecture (#75) Lint Style #123: Commit 18cf480 pushed by mo271
November 12, 2024 10:19 11s main
main
November 12, 2024 10:19 11s
add permanent conjecture Lint Style #122: Pull request #75 synchronize by mo271
November 12, 2024 10:09 14s permanent_conjecture
permanent_conjecture
November 12, 2024 10:09 14s
add permanent conjecture Lint Style #121: Pull request #75 opened by mo271
November 12, 2024 10:08 11s permanent_conjecture
permanent_conjecture
November 12, 2024 10:08 11s
Update Chapter_06.lean Lint Style #120: Commit 1bc8c9f pushed by mo271
November 10, 2024 06:40 10s main
main
November 10, 2024 06:40 10s