Skip to content

Actions: emilyriehl/yoneda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #145: by github-pages bot
June 25, 2024 16:58 30s
June 25, 2024 16:58 30s
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
merging the yoneda geodesic MKDocs #140: Commit cd1c9e4 pushed by emilyriehl
June 25, 2024 16:57 41s master
master
June 25, 2024 16:57 41s
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
pages build and deployment pages-build-deployment #144: by github-pages bot
February 13, 2024 12:53 33s
February 13, 2024 12:53 33s
Run MkDocs workflow on CPP-2024 branch MKDocs #139: Commit 1ef60a4 pushed by fizruk
February 13, 2024 12:52 50s CPP-2024
CPP-2024
February 13, 2024 12:52 50s
Run MkDocs workflow on CPP-2024 branch Check with latest Rzk #321: Commit 1ef60a4 pushed by fizruk
February 13, 2024 12:52 25s CPP-2024
CPP-2024
February 13, 2024 12:52 25s
Merge branch 'update-index-md' into CPP-2024 Check with latest Rzk #320: Commit 4fed23b pushed by fizruk
February 13, 2024 12:50 20s CPP-2024
CPP-2024
February 13, 2024 12:50 20s
Update README on the website Check with latest Rzk #319: Pull request #64 opened by fizruk
February 13, 2024 12:50 38s update-index-md
update-index-md
February 13, 2024 12:50 38s
Update README on the website Check with latest Rzk #318: Commit 885b91f pushed by fizruk
February 13, 2024 12:49 23s update-index-md
update-index-md
February 13, 2024 12:49 23s
Merge branch 'master' into CPP-2024 Check with latest Rzk #317: Commit d3e5f7c pushed by fizruk
February 13, 2024 12:47 21s CPP-2024
CPP-2024
February 13, 2024 12:47 21s
Merge pull request #63 from emilyriehl/add-paper Check with latest Rzk #316: Commit 08a1344 pushed by fizruk
February 13, 2024 06:35 25s master
master
February 13, 2024 06:35 25s
mentioned the paper Check with latest Rzk #315: Pull request #63 opened by emilyriehl
February 12, 2024 20:34 21s add-paper
add-paper
February 12, 2024 20:34 21s
mentioned the paper Check with latest Rzk #314: Commit 01a52f9 pushed by emilyriehl
February 12, 2024 20:33 22s add-paper
add-paper
February 12, 2024 20:33 22s
Add CC BY 4.0 LICENSE Check with latest Rzk #313: Commit bf3d2dd pushed by fizruk
December 30, 2023 14:11 23s CPP-2024
CPP-2024
December 30, 2023 14:11 23s
pages build and deployment pages-build-deployment #143: by fizruk
December 11, 2023 23:37 42s
December 11, 2023 23:37 42s
pages build and deployment pages-build-deployment #142: by fizruk
December 11, 2023 23:16 34s
December 11, 2023 23:16 34s
pages build and deployment pages-build-deployment #141: by fizruk
December 11, 2023 23:10 51s
December 11, 2023 23:10 51s