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

latex ch 13 Lint Style #44: Commit 7647993 pushed by mo271
September 28, 2024 07:20 11s main
main
September 28, 2024 07:20 11s
latex ch 12 Lint Style #43: Commit fe82845 pushed by mo271
September 26, 2024 19:58 10s main
main
September 26, 2024 19:58 10s
latex ch 11 Lint Style #42: Commit 8cec86e pushed by mo271
September 26, 2024 19:51 14s main
main
September 26, 2024 19:51 14s
latex ch 10 Lint Style #41: Commit 85e943c pushed by mo271
September 26, 2024 19:38 16s main
main
September 26, 2024 19:38 16s
latex ch 9 Lint Style #40: Commit 0662623 pushed by mo271
September 26, 2024 19:17 12s main
main
September 26, 2024 19:17 12s
latex ch 8 Lint Style #39: Commit 864bb04 pushed by mo271
September 25, 2024 20:36 10s main
main
September 25, 2024 20:36 10s
latex for ch7 Lint Style #38: Commit 1f7a948 pushed by mo271
September 25, 2024 20:06 16s main
main
September 25, 2024 20:06 16s
add AUTHORS.md Lint Style #37: Commit d321b1e pushed by mo271
September 24, 2024 19:31 13s main
main
September 24, 2024 19:31 13s
debug not finding AUTHORS.md Lint Style #36: Commit 80bdd09 pushed by mo271
September 24, 2024 18:59 12s main
main
September 24, 2024 18:59 12s
latex for ch5 Lint Style #35: Commit cc24e4d pushed by mo271
September 24, 2024 18:43 12s main
main
September 24, 2024 18:43 12s
README fixes and make AUTHORS.md Lint Style #34: Commit ea95ef7 pushed by mo271
September 24, 2024 18:13 18s main
main
September 24, 2024 18:13 18s
latex ch 3 Lint Style #33: Commit b5e5d67 pushed by mo271
September 23, 2024 15:01 17s main
main
September 23, 2024 15:01 17s
put back --- Lint Style #32: Commit 62bffb2 pushed by mo271
September 22, 2024 19:34 13s main
main
September 22, 2024 19:34 13s
add chapter 3 latex Lint Style #31: Commit abdf92e pushed by mo271
September 22, 2024 19:28 13s main
main
September 22, 2024 19:28 13s
change colors Lint Style #30: Commit d37a1e5 pushed by mo271
September 22, 2024 19:01 12s main
main
September 22, 2024 19:01 12s
little more ch 2 Lint Style #29: Commit c36a498 pushed by mo271
September 22, 2024 18:29 14s main
main
September 22, 2024 18:29 14s
include section Lint Style #28: Commit bbf4e3d pushed by mo271
September 22, 2024 08:06 12s main
main
September 22, 2024 08:06 12s
latex ch 2 appendix Lint Style #27: Commit e93c39d pushed by mo271
September 22, 2024 07:49 10s main
main
September 22, 2024 07:49 10s
add some latex for chapter 2 (#60) Lint Style #26: Commit 528487c pushed by mo271
September 22, 2024 07:28 13s main
main
September 22, 2024 07:28 13s
add some latex for chapter 2 Lint Style #25: Pull request #60 opened by mo271
September 22, 2024 07:27 9s chapter_2
chapter_2
September 22, 2024 07:27 9s
update home_page Lint Style #24: Commit 63c63b6 pushed by mo271
September 22, 2024 07:14 11s main
main
September 22, 2024 07:14 11s
change lean4 style name Lint Style #23: Commit df11c35 pushed by mo271
September 22, 2024 06:54 10s main
main
September 22, 2024 06:54 10s
fix links in Readme Lint Style #22: Commit a90e768 pushed by mo271
September 21, 2024 21:37 12s main
main
September 21, 2024 21:37 12s
add rwst to Authors Lint Style #21: Commit be2d9b6 pushed by mo271
September 21, 2024 21:34 14s main
main
September 21, 2024 21:34 14s
add Latex scaffolding and edit ch.01 Lint Style #20: Commit 84174d1 pushed by mo271
September 21, 2024 21:32 15s main
main
September 21, 2024 21:32 15s