Skip to content

Actions: Panadestein/solved-sicp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #31: by github-pages bot
December 10, 2023 14:49 44s gh-pages
gh-pages
December 10, 2023 14:49 44s
Added 1.18 Publish #41: Commit 2f6a16c pushed by Panadestein
December 10, 2023 14:48 50s master
master
December 10, 2023 14:48 50s
pages build and deployment pages-build-deployment #30: by github-pages bot
December 9, 2023 22:07 46s gh-pages
gh-pages
December 9, 2023 22:07 46s
Bump action version Publish #40: Commit 0544237 pushed by Panadestein
December 9, 2023 22:06 49s master
master
December 9, 2023 22:06 49s
Added nice logo to website Publish #39: Commit 284d1fe pushed by Panadestein
December 9, 2023 21:56 57s master
master
December 9, 2023 21:56 57s
Improved README Publish #38: Commit e3ddb8c pushed by Panadestein
October 30, 2023 12:51 1m 4s master
master
October 30, 2023 12:51 1m 4s
pages build and deployment pages-build-deployment #29: by github-pages bot
October 24, 2023 21:19 1m 0s gh-pages
gh-pages
October 24, 2023 21:19 1m 0s
Add solution to 1.16 Publish #37: Commit 5cd92a6 pushed by Panadestein
October 24, 2023 21:18 1m 1s master
master
October 24, 2023 21:18 1m 1s
pages build and deployment pages-build-deployment #28: by Panadestein
October 23, 2023 10:43 1m 7s gh-pages
gh-pages
October 23, 2023 10:43 1m 7s
Improve readme Publish #36: Commit fcd68fb pushed by Panadestein
October 23, 2023 09:23 1m 0s master
master
October 23, 2023 09:23 1m 0s
pages build and deployment pages-build-deployment #27: by github-pages bot
October 21, 2023 21:21 1m 7s gh-pages
gh-pages
October 21, 2023 21:21 1m 7s
Added better description of 1.15 Publish #35: Commit b6da8b2 pushed by Panadestein
October 21, 2023 21:20 57s master
master
October 21, 2023 21:20 57s
Change evaluator for 1.15 Publish #34: Commit 00e9f6a pushed by Panadestein
October 21, 2023 21:13 1m 4s master
master
October 21, 2023 21:13 1m 4s
pages build and deployment pages-build-deployment #26: by github-pages bot
October 21, 2023 21:11 54s gh-pages
gh-pages
October 21, 2023 21:11 54s
Better English Publish #33: Commit 4339ce3 pushed by Panadestein
October 21, 2023 21:10 54s master
master
October 21, 2023 21:10 54s
pages build and deployment pages-build-deployment #25: by github-pages bot
October 21, 2023 21:07 55s gh-pages
gh-pages
October 21, 2023 21:07 55s
Fixed latex and full 1.15 Publish #32: Commit 70b54ef pushed by Panadestein
October 21, 2023 21:06 57s master
master
October 21, 2023 21:06 57s
pages build and deployment pages-build-deployment #24: by github-pages bot
October 21, 2023 20:57 54s gh-pages
gh-pages
October 21, 2023 20:57 54s
Added 1.15 almost full Publish #31: Commit 8894625 pushed by Panadestein
October 21, 2023 20:56 1m 13s master
master
October 21, 2023 20:56 1m 13s