Skip to content

Actions: patrick-nicodemus/research

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Some small progress. build #34: Commit 9825ca3 pushed by patrick-nicodemus
1m 49s main
main
1m 49s
Finished proof of one theorem. build #33: Commit 341b937 pushed by patrick-nicodemus
1m 49s main
main
1m 49s
Changed citation to something more readable. build #32: Commit db7451c pushed by patrick-nicodemus
2m 3s main
main
2m 3s
Added lifting profunctor paper. build #31: Commit 7646a41 pushed by patrick-nicodemus
1m 34s main
main
1m 34s
added lifting profunctor paper build #30: Commit 601181c pushed by patrick-nicodemus
1m 38s main
main
1m 38s
Strengthened statement for characterizing geometric realization build #29: Commit 06d9a7f pushed by patrick-nicodemus
1m 41s main
main
1m 41s
Reapply "cheating" build #28: Commit 4e2060d pushed by patrick-nicodemus
1m 36s main
main
1m 36s
Merge pull request #1 from patrick-nicodemus/new build #27: Commit f27e0e2 pushed by patrick-nicodemus
1m 48s main
main
1m 48s
Revert "cheating" build #26: Commit 7cb4329 pushed by patrick-nicodemus
1m 39s new
new
1m 39s
cheating build #25: Commit dd6fa52 pushed by patrick-nicodemus
1m 46s new
new
1m 46s
cheating build #24: Commit dd6fa52 pushed by patrick-nicodemus
1m 22s main
main
1m 22s
procrastinating build #23: Commit fd2f9f3 pushed by patrick-nicodemus
1m 37s main
main
1m 37s
update build #22: Commit ed2127a pushed by patrick-nicodemus
1m 41s main
main
1m 41s
update build #21: Commit 95e3f51 pushed by patrick-nicodemus
1m 35s main
main
1m 35s
update build #20: Commit c71f2ca pushed by patrick-nicodemus
1m 41s main
main
1m 41s
manifolds update build #19: Commit 191a7a0 pushed by patrick-nicodemus
1m 36s main
main
1m 36s
manifolds update build #18: Commit f48793d pushed by patrick-nicodemus
1m 34s main
main
1m 34s
More discussion of manifolds and sheaves build #17: Commit fb7334f pushed by patrick-nicodemus
1m 24s main
main
1m 24s
Incremental progress on the proof of existence of Cartesian lifts. build #16: Commit 5ec09e0 pushed by patrick-nicodemus
1m 33s main
main
1m 33s
Merge remote-tracking branch 'refs/remotes/origin/main' build #15: Commit cea4bc5 pushed by patrick-nicodemus
1m 41s main
main
1m 41s
added Kan extension notes build #14: Commit 2324a18 pushed by patrick-nicodemus
1m 59s main
main
1m 59s
Merge remote-tracking branch 'origin/main' build #13: Commit 2828880 pushed by patrick-nicodemus
2m 4s main
main
2m 4s
progress build #12: Commit af320b6 pushed by patrick-nicodemus
1m 39s main
main
1m 39s
progress build #11: Commit fff8bda pushed by patrick-nicodemus
1m 33s main
main
1m 33s
progress build #10: Commit 211f2b3 pushed by patrick-nicodemus
1m 36s main
main
1m 36s