Skip to content

Actions: chabulhwi/tpil-solutions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: add another name for equivalence Lean Action CI #54: Commit 7a0156f pushed by chabulhwi
November 1, 2024 16:28 23s master
master
November 1, 2024 16:28 23s
doc: update status of my solutions to quiz Lean Action CI #53: Commit 6252835 pushed by chabulhwi
October 31, 2024 03:04 23s master
master
October 31, 2024 03:04 23s
doc: remove Korean translation of directory names Lean Action CI #52: Commit 85af583 pushed by chabulhwi
October 31, 2024 02:59 25s master
master
October 31, 2024 02:59 25s
doc: fix grammar Lean Action CI #51: Commit 5521179 pushed by chabulhwi
October 21, 2024 01:40 20s master
master
October 21, 2024 01:40 20s
doc: fix link to Korean high school math textbook Lean Action CI #50: Commit 5b87c61 pushed by chabulhwi
October 21, 2024 01:28 18s master
master
October 21, 2024 01:28 18s
doc: emphasize two words Lean Action CI #49: Commit 82e9269 pushed by chabulhwi
October 21, 2024 01:24 19s master
master
October 21, 2024 01:24 19s
doc: add appendix to propositions.md Lean Action CI #48: Commit 348f7c0 pushed by chabulhwi
October 21, 2024 01:09 22s master
master
October 21, 2024 01:09 22s
doc: update last access date of math textbook Lean Action CI #47: Commit b0ef87a pushed by chabulhwi
October 19, 2024 04:29 38s master
master
October 19, 2024 04:29 38s
doc: fix link to Korean high school math textbook Lean Action CI #46: Commit f2db5e6 pushed by chabulhwi
October 19, 2024 04:18 19s master
master
October 19, 2024 04:18 19s
doc: replace word with correct term Lean Action CI #45: Commit f067c02 pushed by chabulhwi
October 15, 2024 14:36 19s master
master
October 15, 2024 14:36 19s
doc: add information about parametric polymorphism Lean Action CI #44: Commit cf44b27 pushed by chabulhwi
October 14, 2024 03:28 22s master
master
October 14, 2024 03:28 22s
doc: add links to README.md or README.ko.md Lean Action CI #43: Commit 17cfca6 pushed by chabulhwi
October 9, 2024 16:19 21s master
master
October 9, 2024 16:19 21s
fix: add .gitignore to OmegaT subdirectories Lean Action CI #42: Commit a4fe440 pushed by chabulhwi
October 3, 2024 12:27 25s master
master
October 3, 2024 12:27 25s
chore: move toolchain to v4.12.0 Lean Action CI #41: Commit 6e55ce1 pushed by chabulhwi
October 3, 2024 04:12 16s master
master
October 3, 2024 04:12 16s
doc: translate editor shortcut info into Korean Lean Action CI #40: Commit 45b895c pushed by chabulhwi
October 1, 2024 15:16 18s master
master
October 1, 2024 15:16 18s
doc: change Korean postpositional particle Lean Action CI #39: Commit cb22af6 pushed by chabulhwi
September 30, 2024 15:04 22s master
master
September 30, 2024 15:04 22s
doc: remove Korean words Lean Action CI #38: Commit 64c17f4 pushed by chabulhwi
September 30, 2024 13:04 21s master
master
September 30, 2024 13:04 21s
doc: correct mistranslation Lean Action CI #37: Commit 12e270b pushed by chabulhwi
September 30, 2024 13:00 25s master
master
September 30, 2024 13:00 25s
doc: add comment on how to read symbol in Korean Lean Action CI #36: Commit dc3c6fd pushed by chabulhwi
September 30, 2024 12:52 20s master
master
September 30, 2024 12:52 20s
doc: translate propositional-connectives.md Lean Action CI #35: Commit e176447 pushed by chabulhwi
September 30, 2024 12:41 19s master
master
September 30, 2024 12:41 19s
doc: add note about propositional connectives Lean Action CI #34: Commit 9782b5c pushed by chabulhwi
September 30, 2024 11:21 28s master
master
September 30, 2024 11:21 28s
doc: add omitted word to Korean translation Lean Action CI #33: Commit f2c0afc pushed by chabulhwi
September 29, 2024 11:21 17s master
master
September 29, 2024 11:21 17s
doc: add omitted word to Korean translation Lean Action CI #32: Commit b146acd pushed by chabulhwi
September 29, 2024 11:09 18s master
master
September 29, 2024 11:09 18s
doc: change Korean postpositional particle Lean Action CI #31: Commit 22e9e76 pushed by chabulhwi
September 29, 2024 09:46 18s master
master
September 29, 2024 09:46 18s
doc: change Korean word Lean Action CI #30: Commit e1b3207 pushed by chabulhwi
September 29, 2024 09:40 19s master
master
September 29, 2024 09:40 19s