Skip to content

Actions: rzk-lang/sHoTT

Actions

File formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
281 workflow runs
281 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Discrete fibers Cor. 8.20 RS17 File formatting #231: Pull request #135 synchronize by StiephenPradal
November 23, 2023 12:38 13s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 23, 2023 12:38 13s
Discrete fibers Cor. 8.20 RS17 File formatting #230: Pull request #135 synchronize by emilyriehl
November 21, 2023 04:06 15s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 21, 2023 04:06 15s
Representable isos File formatting #229: Pull request #141 synchronize by emilyriehl
November 21, 2023 04:01 11s representable-isos
representable-isos
November 21, 2023 04:01 11s
Merge pull request #140 from TashiWalde/right-orthogonal-calculus File formatting #228: Commit 7644143 pushed by emilyriehl
November 21, 2023 04:00 17s main
main
November 21, 2023 04:00 17s
Representable isos File formatting #227: Pull request #141 synchronize by cesarbm03
November 20, 2023 20:49 14s representable-isos
representable-isos
November 20, 2023 20:49 14s
Representable isos File formatting #226: Pull request #141 synchronize by cesarbm03
November 20, 2023 20:48 18s representable-isos
representable-isos
November 20, 2023 20:48 18s
More on orthogonal calculus File formatting #225: Pull request #140 synchronize by emilyriehl
November 17, 2023 20:00 12s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 17, 2023 20:00 12s
Merge pull request #137 from TashiWalde/left-anodyne File formatting #224: Commit 842e6e5 pushed by emilyriehl
November 17, 2023 20:00 12s main
main
November 17, 2023 20:00 12s
Reorganize proof that discrete types are Segal File formatting #223: Pull request #137 synchronize by emilyriehl
November 17, 2023 19:59 19s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 17, 2023 19:59 19s
Discrete fibers Cor. 8.20 RS17 File formatting #222: Pull request #135 synchronize by emilyriehl
November 17, 2023 19:58 14s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 17, 2023 19:58 14s
More on orthogonal calculus File formatting #221: Pull request #140 synchronize by TashiWalde
November 15, 2023 08:54 18s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 15, 2023 08:54 18s
More on orthogonal calculus File formatting #220: Pull request #140 synchronize by TashiWalde
November 15, 2023 08:54 17s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 15, 2023 08:54 17s
Discrete fibers Cor. 8.20 RS17 File formatting #219: Pull request #135 synchronize by StiephenPradal
November 13, 2023 19:46 15s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 13, 2023 19:46 15s
Merge pull request #139 from TashiWalde/mkdocs-typo File formatting #218: Commit 83e5914 pushed by emilyriehl
November 13, 2023 15:22 14s main
main
November 13, 2023 15:22 14s
More on orthogonal calculus File formatting #217: Pull request #140 synchronize by TashiWalde
November 13, 2023 15:06 19s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 13, 2023 15:06 19s
More on orthogonal calculus File formatting #216: Pull request #140 synchronize by TashiWalde
November 13, 2023 15:05 13s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 13, 2023 15:05 13s
More on orthogonal calculus File formatting #215: Pull request #140 opened by TashiWalde
November 13, 2023 15:05 18s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 13, 2023 15:05 18s
typo in mkdocs.yaml File formatting #214: Pull request #139 opened by TashiWalde
November 11, 2023 10:44 13s TashiWalde:mkdocs-typo
TashiWalde:mkdocs-typo
November 11, 2023 10:44 13s
Reorganize proof that discrete types are Segal File formatting #213: Pull request #137 synchronize by TashiWalde
November 11, 2023 10:30 13s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 11, 2023 10:30 13s
Reorganize proof that discrete types are Segal File formatting #212: Pull request #137 synchronize by TashiWalde
November 11, 2023 10:26 20s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 11, 2023 10:26 20s
Merge pull request #138 from TashiWalde/right-orthogonal-calculus File formatting #211: Commit 0c29f83 pushed by emilyriehl
November 11, 2023 03:28 13s main
main
November 11, 2023 03:28 13s
Reorganize proof that discrete types are Segal File formatting #210: Pull request #137 synchronize by TashiWalde
November 10, 2023 17:09 16s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 10, 2023 17:09 16s
Discrete fibers Cor. 8.20 RS17 File formatting #209: Pull request #135 synchronize by StiephenPradal
November 10, 2023 13:25 15s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 10, 2023 13:25 15s
Functorial isomorphism of shape inclusions File formatting #208: Pull request #138 synchronize by emilyriehl
November 10, 2023 02:11 15s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 10, 2023 02:11 15s
Merge pull request #136 from TashiWalde/is-rezk-Unit File formatting #207: Commit 74c9726 pushed by emilyriehl
November 10, 2023 02:08 26s main
main
November 10, 2023 02:08 26s