Skip to content

Actions: sean-parent/sean-parent.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Posting final slides for local reasoning talk. Deploy Jekyll site to Pages #50: Commit 9359510 pushed by sean-parent
September 12, 2024 10:00 6m 48s master
master
September 12, 2024 10:00 6m 48s
Final 2 :-) Deploy Jekyll site to Pages #49: Commit 4071c19 pushed by sean-parent
September 12, 2024 08:50 8m 15s master
master
September 12, 2024 08:50 8m 15s
Final? Deploy Jekyll site to Pages #48: Commit f93f986 pushed by sean-parent
September 12, 2024 08:44 6m 54s master
master
September 12, 2024 08:44 6m 54s
Checkpoint Deploy Jekyll site to Pages #47: Commit cf4f277 pushed by sean-parent
September 9, 2024 10:55 6m 27s master
master
September 9, 2024 10:55 6m 27s
Update 2024-09-12-local-reasoning.key Deploy Jekyll site to Pages #46: Commit 760fffd pushed by sean-parent
September 7, 2024 17:00 6m 13s master
master
September 7, 2024 17:00 6m 13s
Renaming and updating. Deploy Jekyll site to Pages #45: Commit 14c32c1 pushed by sean-parent
September 6, 2024 19:34 6m 38s master
master
September 6, 2024 19:34 6m 38s
Checkpoint Deploy Jekyll site to Pages #44: Commit 3b5e06b pushed by sean-parent
September 5, 2024 21:31 7m 20s master
master
September 5, 2024 21:31 7m 20s
Merge branch 'master' of https://github.com/sean-parent/sean-parent.g… Deploy Jekyll site to Pages #43: Commit f24e85b pushed by sean-parent
August 2, 2024 22:46 7m 39s master
master
August 2, 2024 22:46 7m 39s
Grammer fix. Deploy Jekyll site to Pages #42: Commit a4fe40f pushed by sean-parent
July 13, 2024 04:06 5m 55s master
master
July 13, 2024 04:06 5m 55s
Adding video links for two most recent talks. Deploy Jekyll site to Pages #41: Commit 8edc56d pushed by sean-parent
July 4, 2024 00:51 5m 56s master
master
July 4, 2024 00:51 5m 56s
Update papers-and-presentations.md Deploy Jekyll site to Pages #40: Commit d430d65 pushed by sean-parent
July 1, 2024 18:42 8m 7s master
master
July 1, 2024 18:42 8m 7s
Adding some missing works. Deploy Jekyll site to Pages #39: Commit 75be94e pushed by sean-parent
June 26, 2024 19:44 8m 13s master
master
June 26, 2024 19:44 8m 13s
Updating ruby version. Deploy Jekyll site to Pages #38: Commit 5965caf pushed by sean-parent
June 26, 2024 06:44 9m 55s master
master
June 26, 2024 06:44 9m 55s
Merge branch 'master' of https://github.com/sean-parent/sean-parent.g… Deploy Jekyll site to Pages #37: Commit def871b pushed by sean-parent
June 26, 2024 06:23 1m 15s master
master
June 26, 2024 06:23 1m 15s
Fixing links. Deploy Jekyll site to Pages #36: Commit 7c2f5d0 pushed by sean-parent
June 26, 2024 04:49 8m 23s master
master
June 26, 2024 04:49 8m 23s
Link to value semantic talk added. Deploy Jekyll site to Pages #35: Commit e396a9a pushed by sean-parent
June 18, 2024 02:26 9m 13s master
master
June 18, 2024 02:26 9m 13s
Adding chains talk, fixing links. Deploy Jekyll site to Pages #34: Commit 9c78af1 pushed by sean-parent
June 18, 2024 00:44 10m 6s master
master
June 18, 2024 00:44 10m 6s
Working on local reasoning talk Deploy Jekyll site to Pages #33: Commit 4268b73 pushed by sean-parent
June 11, 2024 15:58 8m 30s master
master
June 11, 2024 15:58 8m 30s
minor edit and compressing files Deploy Jekyll site to Pages #32: Commit 80ae501 pushed by sean-parent
May 17, 2024 16:07 8m 52s master
master
May 17, 2024 16:07 8m 52s
Renames Deploy Jekyll site to Pages #31: Commit 9eb3c98 pushed by sean-parent
May 17, 2024 15:46 8m 35s master
master
May 17, 2024 15:46 8m 35s
Fixing links Deploy Jekyll site to Pages #30: Commit 1248b44 pushed by sean-parent
May 17, 2024 15:23 9m 49s master
master
May 17, 2024 15:23 9m 49s
Fixing auto format damage. Deploy Jekyll site to Pages #29: Commit 844e104 pushed by sean-parent
May 17, 2024 00:08 8m 25s master
master
May 17, 2024 00:08 8m 25s
Local Reasoning Talk Deploy Jekyll site to Pages #28: Commit 8ee6474 pushed by sean-parent
May 16, 2024 23:52 8m 9s master
master
May 16, 2024 23:52 8m 9s
Moving devices Deploy Jekyll site to Pages #27: Commit 8d05d01 pushed by sean-parent
May 14, 2024 15:32 9m 46s master
master
May 14, 2024 15:32 9m 46s
Moving work to another machine. Deploy Jekyll site to Pages #26: Commit 475b51b pushed by sean-parent
May 13, 2024 16:47 8m 32s master
master
May 13, 2024 16:47 8m 32s