Skip to content

Actions: rzk-lang/sHoTT

Actions

Build and Deploy MkDocs to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mkdocs.yml
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update contributors Build and Deploy MkDocs to GitHub Pages #114: Commit 29771d1 pushed by emilyriehl
October 2, 2024 22:14 1m 43s main
main
October 2, 2024 22:14 1m 43s
Merge pull request #149 from robin-carlier/representables Build and Deploy MkDocs to GitHub Pages #113: Commit 319b48d pushed by emilyriehl
October 2, 2024 22:12 1m 45s main
main
October 2, 2024 22:12 1m 45s
Merge pull request #145 from thchatzidiamantis/Contractible Build and Deploy MkDocs to GitHub Pages #112: Commit 436ceb5 pushed by emilyriehl
July 30, 2024 09:52 1m 7s main
main
July 30, 2024 09:52 1m 7s
Merge pull request #144 from thchatzidiamantis/dcomp Build and Deploy MkDocs to GitHub Pages #111: Commit 352c301 pushed by emilyriehl
July 16, 2024 13:07 1m 19s main
main
July 16, 2024 13:07 1m 19s
Merge pull request #143 from thchatzidiamantis/Contractible Build and Deploy MkDocs to GitHub Pages #110: Commit 50d8207 pushed by emilyriehl
June 21, 2024 11:24 1m 7s main
main
June 21, 2024 11:24 1m 7s
Merge pull request #141 from rzk-lang/representable-isos Build and Deploy MkDocs to GitHub Pages #109: Commit 33b8fc5 pushed by emilyriehl
December 15, 2023 01:36 1m 12s main
main
December 15, 2023 01:36 1m 12s
Merge pull request #142 from rzk-lang/formatting Build and Deploy MkDocs to GitHub Pages #108: Commit 296a11b pushed by aabounegm
December 12, 2023 14:05 1m 13s main
main
December 12, 2023 14:05 1m 13s
Merge pull request #135 from StiephenPradal/Discrete-Fibers Build and Deploy MkDocs to GitHub Pages #107: Commit 7243b19 pushed by emilyriehl
December 1, 2023 18:09 2m 50s main
main
December 1, 2023 18:09 2m 50s
Merge pull request #140 from TashiWalde/right-orthogonal-calculus Build and Deploy MkDocs to GitHub Pages #106: Commit 7644143 pushed by emilyriehl
November 21, 2023 04:00 1m 8s main
main
November 21, 2023 04:00 1m 8s
Merge pull request #137 from TashiWalde/left-anodyne Build and Deploy MkDocs to GitHub Pages #105: Commit 842e6e5 pushed by emilyriehl
November 17, 2023 20:00 1m 1s main
main
November 17, 2023 20:00 1m 1s
Merge pull request #139 from TashiWalde/mkdocs-typo Build and Deploy MkDocs to GitHub Pages #104: Commit 83e5914 pushed by emilyriehl
November 13, 2023 15:22 1m 7s main
main
November 13, 2023 15:22 1m 7s
Merge pull request #138 from TashiWalde/right-orthogonal-calculus Build and Deploy MkDocs to GitHub Pages #103: Commit 0c29f83 pushed by emilyriehl
November 11, 2023 03:28 57s main
main
November 11, 2023 03:28 57s
Merge pull request #136 from TashiWalde/is-rezk-Unit Build and Deploy MkDocs to GitHub Pages #102: Commit 74c9726 pushed by emilyriehl
November 10, 2023 02:08 1m 8s main
main
November 10, 2023 02:08 1m 8s
Merge pull request #126 from TashiWalde/anodyne Build and Deploy MkDocs to GitHub Pages #101: Commit 97a439f pushed by emilyriehl
November 4, 2023 00:03 1m 28s main
main
November 4, 2023 00:03 1m 28s
Merge pull request #132 from rzk-lang/all-elements-equal-subtype Build and Deploy MkDocs to GitHub Pages #100: Commit ea04084 pushed by emilyriehl
October 27, 2023 17:09 1m 22s main
main
October 27, 2023 17:09 1m 22s
Merge pull request #131 from rzk-lang/more-adjunctions Build and Deploy MkDocs to GitHub Pages #99: Commit 5017767 pushed by emilyriehl
October 27, 2023 17:06 1m 42s main
main
October 27, 2023 17:06 1m 42s
Merge pull request #113 from rzk-lang/htpy-coherence Build and Deploy MkDocs to GitHub Pages #98: Commit 4de9a7a pushed by emilyriehl
October 27, 2023 17:04 1m 52s main
main
October 27, 2023 17:04 1m 52s
Merge pull request #134 from TashiWalde/retract-of-is-equiv Build and Deploy MkDocs to GitHub Pages #97: Commit f7b0aa3 pushed by emilyriehl
October 26, 2023 23:19 1m 25s main
main
October 26, 2023 23:19 1m 25s
Merge pull request #130 from TashiWalde/functoriality-extensions Build and Deploy MkDocs to GitHub Pages #96: Commit a0b6f07 pushed by emilyriehl
October 26, 2023 23:16 1m 22s main
main
October 26, 2023 23:16 1m 22s
Merge pull request #129 from TashiWalde/fiber-products Build and Deploy MkDocs to GitHub Pages #95: Commit fc05e8c pushed by emilyriehl
October 26, 2023 23:12 1m 31s main
main
October 26, 2023 23:12 1m 31s
Merge pull request #94 from fredrik-bakke/style-guide Build and Deploy MkDocs to GitHub Pages #94: Commit 5f6a9ac pushed by emilyriehl
October 25, 2023 02:18 1m 32s main
main
October 25, 2023 02:18 1m 32s
Merge pull request #122 from TashiWalde/fibers-between-segal Build and Deploy MkDocs to GitHub Pages #93: Commit ca85956 pushed by emilyriehl
October 22, 2023 18:29 1m 53s main
main
October 22, 2023 18:29 1m 53s
Merge pull request #125 from rzk-lang/uniqueness-colimits Build and Deploy MkDocs to GitHub Pages #92: Commit 3517851 pushed by emilyriehl
October 22, 2023 14:58 1m 27s main
main
October 22, 2023 14:58 1m 27s
Merge pull request #123 from TashiWalde/right-orthogonal-3 Build and Deploy MkDocs to GitHub Pages #91: Commit 9ae43c7 pushed by emilyriehl
October 22, 2023 14:43 1m 41s main
main
October 22, 2023 14:43 1m 41s
Merge pull request #128 from aergus/is-equiv-map-of-fibers-is-equiv-m… Build and Deploy MkDocs to GitHub Pages #90: Commit 2aceb9d pushed by emilyriehl
October 22, 2023 14:36 1m 30s main
main
October 22, 2023 14:36 1m 30s