Skip to content

Actions: rzk-lang/sHoTT

Actions

File formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Uniqueness of adjunction data File formatting #181: Pull request #131 synchronize by emilyriehl
October 26, 2023 23:16 18s more-adjunctions
more-adjunctions
October 26, 2023 23:16 18s
More functoriality of fibers File formatting #180: Pull request #134 synchronize by emilyriehl
October 26, 2023 23:16 13s TashiWalde:retract-of-is-equiv
TashiWalde:retract-of-is-equiv
October 26, 2023 23:16 13s
Merge pull request #130 from TashiWalde/functoriality-extensions File formatting #179: Commit a0b6f07 pushed by emilyriehl
October 26, 2023 23:16 17s main
main
October 26, 2023 23:16 17s
Functoriality properties of extension types File formatting #178: Pull request #130 synchronize by emilyriehl
October 26, 2023 23:15 21s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 26, 2023 23:15 21s
Merge pull request #129 from TashiWalde/fiber-products File formatting #177: Commit fc05e8c pushed by emilyriehl
October 26, 2023 23:12 17s main
main
October 26, 2023 23:12 17s
Total fibers are iterated fibers File formatting #176: Pull request #129 synchronize by emilyriehl
October 26, 2023 23:11 15s TashiWalde:fiber-products
TashiWalde:fiber-products
October 26, 2023 23:11 15s
Anodyne shape inclusions File formatting #175: Pull request #126 synchronize by emilyriehl
October 26, 2023 23:10 17s TashiWalde:anodyne
TashiWalde:anodyne
October 26, 2023 23:10 17s
begin work on some homotopy coherences File formatting #174: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:05 17s htpy-coherence
htpy-coherence
October 26, 2023 23:05 17s
begin work on some homotopy coherences File formatting #173: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 16s htpy-coherence
htpy-coherence
October 26, 2023 23:03 16s
begin work on some homotopy coherences File formatting #172: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 14s htpy-coherence
htpy-coherence
October 26, 2023 23:03 14s
begin work on some homotopy coherences File formatting #171: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 16s htpy-coherence
htpy-coherence
October 26, 2023 23:03 16s
begin work on some homotopy coherences File formatting #170: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 15s htpy-coherence
htpy-coherence
October 26, 2023 23:03 15s
Uniqueness of adjunction data File formatting #169: Pull request #131 synchronize by emilyriehl
October 25, 2023 02:19 19s more-adjunctions
more-adjunctions
October 25, 2023 02:19 19s
Embeddings and propositional fibers File formatting #168: Pull request #132 synchronize by emilyriehl
October 25, 2023 02:18 15s all-elements-equal-subtype
all-elements-equal-subtype
October 25, 2023 02:18 15s
Merge pull request #94 from fredrik-bakke/style-guide File formatting #167: Commit 5f6a9ac pushed by emilyriehl
October 25, 2023 02:18 17s main
main
October 25, 2023 02:18 17s
Finish draft of the style guide File formatting #166: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 20:34 22s style-guide
style-guide
October 23, 2023 20:34 22s
Finish draft of the style guide File formatting #165: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:41 15s style-guide
style-guide
October 23, 2023 16:41 15s
Finish draft of the style guide File formatting #164: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:38 17s style-guide
style-guide
October 23, 2023 16:38 17s
Finish draft of the style guide File formatting #163: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:29 17s style-guide
style-guide
October 23, 2023 16:29 17s
Finish draft of the style guide File formatting #162: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:23 16s style-guide
style-guide
October 23, 2023 16:23 16s
More functoriality of fibers File formatting #161: Pull request #134 opened by TashiWalde
October 23, 2023 16:18 17s TashiWalde:retract-of-is-equiv
TashiWalde:retract-of-is-equiv
October 23, 2023 16:18 17s
Finish draft of the style guide File formatting #160: Pull request #94 synchronize by emilyriehl
October 23, 2023 15:30 22s style-guide
style-guide
October 23, 2023 15:30 22s
Embeddings and propositional fibers File formatting #159: Pull request #132 synchronize by emilyriehl
October 23, 2023 15:21 19s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 15:21 19s
Embeddings and propositional fibers File formatting #158: Pull request #132 synchronize by emilyriehl
October 23, 2023 13:48 18s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 13:48 18s
Functoriality properties of extension types File formatting #157: Pull request #130 synchronize by TashiWalde
October 23, 2023 11:16 17s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 23, 2023 11:16 17s