Skip to content

Actions: hyunjongkimmath/trouver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nbdev before running nbdev_prepare CI #175: Commit 6a7019e pushed by hyunjongkimmath
August 30, 2024 19:38 4m 4s develop
develop
August 30, 2024 19:38 4m 4s
Run nbdev_export CI #174: Commit 866b565 pushed by hyunjongkimmath
August 30, 2024 19:32 1m 36s develop
develop
August 30, 2024 19:32 1m 36s
Separate 00_helper.ipynb into several notebooks CI #173: Commit 5559e8e pushed by hyunjongkimmath
August 30, 2024 19:10 1m 55s develop
develop
August 30, 2024 19:10 1m 55s
Preliminarily write functions of `34_markdown.obsidian.machine_learni… CI #172: Commit 5db0911 pushed by hyunjongkimmath
May 31, 2024 16:10 1m 35s develop
develop
May 31, 2024 16:10 1m 35s
Modify constructor of VaultNote class to take optional argument of … CI #171: Commit 395f28c pushed by hyunjongkimmath
May 25, 2024 20:12 1m 54s develop
develop
May 25, 2024 20:12 1m 54s
Change implementation of `_node_is_proof_immediately_following_a_theo… CI #170: Commit 8337cfc pushed by hyunjongkimmath
May 12, 2024 22:39 1m 44s develop
develop
May 12, 2024 22:39 1m 44s
Significant changes; split 16_latex.convert.ipynb and implement var… CI #169: Commit 7557e9d pushed by hyunjongkimmath
March 25, 2024 04:51 1m 52s develop
develop
March 25, 2024 04:51 1m 52s
Change test.yaml to specify GitHub Action tests to run with Python … CI #168: Commit 0faa3d4 pushed by hyunjongkimmath
February 17, 2024 21:28 1m 46s develop
develop
February 17, 2024 21:28 1m 46s
Change min python version to 3.10 so use pairwise from itertools CI #167: Commit f23891e pushed by hyunjongkimmath
February 17, 2024 21:11 29s develop
develop
February 17, 2024 21:11 29s
Add helper function to auto_mark_def_and_notats in `28_markdown.obs… CI #166: Commit c7e82cd pushed by hyunjongkimmath
February 17, 2024 18:32 1m 35s develop
develop
February 17, 2024 18:32 1m 35s
Factor auto_mark_def_and_notats and make it so that it adds boxing … CI #165: Commit 42c8f07 pushed by hyunjongkimmath
February 7, 2024 02:26 1m 58s develop
develop
February 7, 2024 02:26 1m 58s
Make varioius edits to polish `28_markdown.obsidian.personal.machine_… CI #164: Commit dae8f57 pushed by hyunjongkimmath
January 19, 2024 18:28 1m 43s develop
develop
January 19, 2024 18:28 1m 43s
Add datasets to settings.ini CI #163: Commit 7c95bcc pushed by hyunjongkimmath
January 16, 2024 08:11 1m 58s develop
develop
January 16, 2024 08:11 1m 58s
Add bs4 to settings.ini CI #162: Commit ccd276e pushed by hyunjongkimmath
January 16, 2024 08:07 1m 58s develop
develop
January 16, 2024 08:07 1m 58s
Add 28_markdown.obsidian.personal.machine_learning.tokenize.ipynb a… CI #161: Commit daee836 pushed by hyunjongkimmath
January 16, 2024 08:03 1m 31s develop
develop
January 16, 2024 08:03 1m 31s
pages build and deployment pages-build-deployment #13: by github-pages bot
December 24, 2023 17:30 38s gh-pages
gh-pages
December 24, 2023 17:30 38s
Use CI #160: Commit 5db0d08 pushed by hyunjongkimmath
December 24, 2023 17:28 1m 29s master
master
December 24, 2023 17:28 1m 29s
Use Deploy to GitHub Pages #127: Commit 5db0d08 pushed by hyunjongkimmath
December 24, 2023 17:28 1m 57s master
master
December 24, 2023 17:28 1m 57s
Use CI #159: Commit 5db0d08 pushed by hyunjongkimmath
December 24, 2023 17:25 1m 58s develop
develop
December 24, 2023 17:25 1m 58s
pages build and deployment pages-build-deployment #12: by github-pages bot
December 24, 2023 17:24 35s gh-pages
gh-pages
December 24, 2023 17:24 35s
Change version to 0.0.5 Deploy to GitHub Pages #126: Commit 3ae4068 pushed by hyunjongkimmath
December 24, 2023 17:22 2m 22s master
master
December 24, 2023 17:22 2m 22s
Change version to 0.0.5 CI #158: Commit 3ae4068 pushed by hyunjongkimmath
December 24, 2023 17:22 1m 30s master
master
December 24, 2023 17:22 1m 30s
Change version to 0.0.5 CI #157: Commit 3ae4068 pushed by hyunjongkimmath
December 24, 2023 17:20 1m 32s develop
develop
December 24, 2023 17:20 1m 32s
Fix a bug in _index_note_of_note in 21_markdown.obsidian.personal.inf… CI #156: Commit cc8d06c pushed by hyunjongkimmath
December 24, 2023 17:19 1m 34s develop
develop
December 24, 2023 17:19 1m 34s
Create 27_markdown.obsidian.personal.vault.ipynb and add the setup_ob… CI #155: Commit bcc8adb pushed by hyunjongkimmath
December 14, 2023 03:26 1m 39s develop
develop
December 14, 2023 03:26 1m 39s