Skip to content

Actions: jonalfcam/sHoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge branch 'main' into weak-ext-ext Check with latest Rzk #28: Commit 3e6e95d pushed by emilyriehl
September 26, 2023 07:01 24s weak-ext-ext
weak-ext-ext
September 26, 2023 07:01 24s
Merge branch 'main' into weak-ext-ext Check with latest Rzk #27: Commit d3ce0c8 pushed by jonalfcam
September 25, 2023 16:02 33s weak-ext-ext
weak-ext-ext
September 25, 2023 16:02 33s
changes names Check with latest Rzk #26: Commit 51129a0 pushed by jonalfcam
September 25, 2023 10:23 33s weak-ext-ext
weak-ext-ext
September 25, 2023 10:23 33s
changes names Check with latest Rzk #25: Commit 438a38b pushed by jonalfcam
September 25, 2023 09:51 27s weak-ext-ext
weak-ext-ext
September 25, 2023 09:51 27s
edits to identity type of contractible types Check with latest Rzk #24: Commit 4358970 pushed by jonalfcam
September 25, 2023 09:49 24s weak-ext-ext
weak-ext-ext
September 25, 2023 09:49 24s
added lemma on path spaces of contractible types Check with latest Rzk #23: Commit d63b052 pushed by jonalfcam
September 23, 2023 19:42 30s weak-ext-ext
weak-ext-ext
September 23, 2023 19:42 30s
fixed conflicts Check with latest Rzk #22: Commit 38ba801 pushed by jonalfcam
September 23, 2023 19:39 27s weak-ext-ext
weak-ext-ext
September 23, 2023 19:39 27s
Merge branch 'main' into weak-ext-ext Check with latest Rzk #21: Commit 0200d31 pushed by emilyriehl
September 23, 2023 19:03 26s weak-ext-ext
weak-ext-ext
September 23, 2023 19:03 26s
deleted unnecessary indentation Check with latest Rzk #20: Commit 1a14276 pushed by emilyriehl
September 23, 2023 19:01 32s weak-ext-ext
weak-ext-ext
September 23, 2023 19:01 32s
Update src/simplicial-hott/04-extension-types.rzk.md Check with latest Rzk #19: Commit f38feb7 pushed by jonalfcam
September 23, 2023 11:25 32s weak-ext-ext
weak-ext-ext
September 23, 2023 11:25 32s
Update src/simplicial-hott/04-extension-types.rzk.md Check with latest Rzk #18: Commit d9e91e7 pushed by jonalfcam
September 23, 2023 11:25 35s weak-ext-ext
weak-ext-ext
September 23, 2023 11:25 35s
Update src/simplicial-hott/04-extension-types.rzk.md Check with latest Rzk #17: Commit 80a87e2 pushed by jonalfcam
September 23, 2023 11:24 25s weak-ext-ext
weak-ext-ext
September 23, 2023 11:24 25s
removed comments Check with latest Rzk #16: Commit 7af1390 pushed by jonalfcam
September 22, 2023 11:53 28s weak-ext-ext
weak-ext-ext
September 22, 2023 11:53 28s
added the homotopy extension property, prop 4.10 Check with latest Rzk #15: Commit d1a17b7 pushed by jonalfcam
September 22, 2023 10:18 34s weak-ext-ext
weak-ext-ext
September 22, 2023 10:18 34s
fixed markdown errors Check with latest Rzk #14: Commit 316ba18 pushed by emilyriehl
September 21, 2023 15:21 25s weak-ext-ext
weak-ext-ext
September 21, 2023 15:21 25s
expository reorganization Check with latest Rzk #13: Commit a01b71b pushed by emilyriehl
September 21, 2023 15:15 27s weak-ext-ext
weak-ext-ext
September 21, 2023 15:15 27s
Merge branch 'main' into weak-ext-ext Check with latest Rzk #12: Commit 99128b5 pushed by emilyriehl
September 21, 2023 15:05 26s weak-ext-ext
weak-ext-ext
September 21, 2023 15:05 26s
Merge branch 'main' into weak-ext-ext Check with latest Rzk #11: Commit c463507 pushed by emilyriehl
September 21, 2023 14:48 29s weak-ext-ext
weak-ext-ext
September 21, 2023 14:48 29s
Merge branch 'main' into weak-ext-ext Check with latest Rzk #10: Commit 3edd7e6 pushed by jonalfcam
September 21, 2023 14:33 29s weak-ext-ext
weak-ext-ext
September 21, 2023 14:33 29s
Merge branch 'weak-ext-ext' of github.com:jonalfcam/sHoTT into weak-e… Check with latest Rzk #9: Commit 66e9512 pushed by jonalfcam
September 21, 2023 12:39 28s weak-ext-ext
weak-ext-ext
September 21, 2023 12:39 28s
Merge branch 'main' into weak-ext-ext Check with latest Rzk #8: Commit 0c3e8e7 pushed by jonalfcam
September 21, 2023 11:25 33s weak-ext-ext
weak-ext-ext
September 21, 2023 11:25 33s
added weak extension extensionality and prop 4.8(ii) Check with latest Rzk #7: Commit 2ba1991 pushed by jonalfcam
September 21, 2023 11:22 30s weak-ext-ext
weak-ext-ext
September 21, 2023 11:22 30s
Rename connection squares Build and Deploy MkDocs to GitHub Pages #5: Commit 144c57a pushed by fizruk
September 20, 2023 08:08 1m 41s main
main
September 20, 2023 08:08 1m 41s
Rename connection squares Check with latest Rzk #6: Commit 144c57a pushed by fizruk
September 20, 2023 08:08 34s main
main
September 20, 2023 08:08 34s
Add (manually) diagrams for the connection squares Check with latest Rzk #5: Commit 20d056a pushed by fizruk
September 20, 2023 08:00 31s main
main
September 20, 2023 08:00 31s