Skip to content

Actions: emilyriehl/yoneda

Actions

Check with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed spacing in markdown Check with latest Rzk #346: Commit bc815e3 pushed by emilyriehl
October 16, 2024 17:40 36s master
master
October 16, 2024 17:40 36s
typos in markdown comments Check with latest Rzk #345: Commit af87028 pushed by emilyriehl
October 5, 2024 19:55 29s master
master
October 5, 2024 19:55 29s
Merge pull request #66 from emilyriehl/deploy-all-paths Check with latest Rzk #344: Commit 2677941 pushed by fizruk
July 17, 2024 15:19 23s master
master
July 17, 2024 15:19 23s
Build and deploy MkDocs regardless of which paths changed Check with latest Rzk #343: Pull request #66 synchronize by fizruk
July 17, 2024 15:18 20s deploy-all-paths
deploy-all-paths
July 17, 2024 15:18 20s
Build and deploy MkDocs regardless of which paths changed Check with latest Rzk #342: Commit 9ac3f67 pushed by fizruk
July 17, 2024 15:18 27s deploy-all-paths
deploy-all-paths
July 17, 2024 15:18 27s
Build and deploy MkDocs regardless of which paths changed Check with latest Rzk #341: Pull request #66 opened by fizruk
July 17, 2024 15:18 22s deploy-all-paths
deploy-all-paths
July 17, 2024 15:18 22s
Build and deploy MkDocs regardless of which paths changed Check with latest Rzk #340: Commit 95b7041 pushed by fizruk
July 17, 2024 15:18 22s deploy-all-paths
deploy-all-paths
July 17, 2024 15:18 22s
more commentary Check with latest Rzk #339: Commit dea9897 pushed by emilyriehl
July 12, 2024 12:51 28s master
master
July 12, 2024 12:51 28s
Merge branch 'master' of github.com:emilyriehl/yoneda Check with latest Rzk #338: Commit dd21c3f pushed by emilyriehl
June 26, 2024 15:22 26s master
master
June 26, 2024 15:22 26s
Merge pull request #65 from emilyriehl/deploy-on-master Check with latest Rzk #337: Commit bf7b70d pushed by emilyriehl
June 26, 2024 14:30 23s master
master
June 26, 2024 14:30 23s
Deploy website on master branch Check with latest Rzk #336: Pull request #65 opened by fizruk
June 26, 2024 14:07 21s deploy-on-master
deploy-on-master
June 26, 2024 14:07 21s
Deploy website on master branch Check with latest Rzk #335: Commit b7136b2 pushed by fizruk
June 26, 2024 14:07 23s deploy-on-master
deploy-on-master
June 26, 2024 14:07 23s
Deploy website on master branch Check with latest Rzk #334: Commit 6e05bbb pushed by fizruk
June 26, 2024 14:06 43s update-index-md
update-index-md
June 26, 2024 14:06 43s
improved exposition and shapes Check with latest Rzk #333: Commit 34ae925 pushed by emilyriehl
June 26, 2024 10:21 22s master
master
June 26, 2024 10:21 22s
yoneda lemma section title Check with latest Rzk #332: Commit b032281 pushed by emilyriehl
June 25, 2024 17:08 23s master
master
June 25, 2024 17:08 23s
cut explicit proofs of naturality for contra-yon Check with latest Rzk #331: Commit e905056 pushed by emilyriehl
June 25, 2024 17:07 23s master
master
June 25, 2024 17:07 23s
merging the yoneda geodesic Check with latest Rzk #330: Commit cd1c9e4 pushed by emilyriehl
June 25, 2024 16:57 23s master
master
June 25, 2024 16:57 23s
line edits Check with latest Rzk #329: Commit 88b6183 pushed by emilyriehl
June 25, 2024 16:53 22s geodesic-to-yoneda
geodesic-to-yoneda
June 25, 2024 16:53 22s
finished proof of naturality Check with latest Rzk #328: Commit 97df4a6 pushed by emilyriehl
June 17, 2024 15:57 27s geodesic-to-yoneda
geodesic-to-yoneda
June 17, 2024 15:57 27s
factored out proof that contravariant reps are contravariant Check with latest Rzk #327: Commit fe275a6 pushed by emilyriehl
June 17, 2024 12:46 23s geodesic-to-yoneda
geodesic-to-yoneda
June 17, 2024 12:46 23s
start of work on a self-contained file proving a special case of yoneda Check with latest Rzk #326: Commit 4cb8ae9 pushed by emilyriehl
June 17, 2024 12:31 26s geodesic-to-yoneda
geodesic-to-yoneda
June 17, 2024 12:31 26s
Merge pull request #64 from emilyriehl/update-index-md Check with latest Rzk #325: Commit 0628dcd pushed by fizruk
May 21, 2024 07:24 27s master
master
May 21, 2024 07:24 27s
Update README on the website Check with latest Rzk #324: Pull request #64 synchronize by fizruk
February 13, 2024 12:57 21s update-index-md
update-index-md
February 13, 2024 12:57 21s
Tidy up formatting for the CPP-2024 reference Check with latest Rzk #323: Commit 3db2580 pushed by fizruk
February 13, 2024 12:57 24s update-index-md
update-index-md
February 13, 2024 12:57 24s
Tidy up formatting for the CPP-2024 reference Check with latest Rzk #322: Commit d9247e4 pushed by fizruk
February 13, 2024 12:56 25s CPP-2024
CPP-2024
February 13, 2024 12:56 25s