Skip to content

Actions: FernandoChu/HoTT-Book-Agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #24: by github-pages bot
April 6, 2024 06:01 50s gh-pages
gh-pages
April 6, 2024 06:01 50s
2-simplex and some more results Build and Deploy #43: Commit 3ae201a pushed by FernandoChu
April 6, 2024 06:00 54s main
main
April 6, 2024 06:00 54s
pages build and deployment pages-build-deployment #23: by github-pages bot
December 14, 2023 16:08 49s gh-pages
gh-pages
December 14, 2023 16:08 49s
Exercise 2.4 Build and Deploy #42: Commit c22629e pushed by FernandoChu
December 14, 2023 16:07 1m 0s main
main
December 14, 2023 16:07 1m 0s
pages build and deployment pages-build-deployment #22: by github-pages bot
December 13, 2023 19:29 52s gh-pages
gh-pages
December 13, 2023 19:29 52s
Exercises 2.3 and 2.4 Build and Deploy #41: Commit 93f4dc0 pushed by FernandoChu
December 13, 2023 19:28 57s main
main
December 13, 2023 19:28 57s
pages build and deployment pages-build-deployment #21: by github-pages bot
December 12, 2023 22:27 49s gh-pages
gh-pages
December 12, 2023 22:27 49s
Excercise 2.1 Build and Deploy #40: Commit c6726f3 pushed by FernandoChu
December 12, 2023 22:27 3m 0s main
main
December 12, 2023 22:27 3m 0s
pages build and deployment pages-build-deployment #20: by github-pages bot
December 4, 2023 16:28 52s gh-pages
gh-pages
December 4, 2023 16:28 52s
exercise 1.4. Build and Deploy #39: Commit 8d08e15 pushed by FernandoChu
December 4, 2023 16:27 1m 15s main
main
December 4, 2023 16:27 1m 15s
pages build and deployment pages-build-deployment #19: by github-pages bot
December 3, 2023 17:55 49s gh-pages
gh-pages
December 3, 2023 17:55 49s
fix ci Build and Deploy #38: Commit a843b10 pushed by FernandoChu
December 3, 2023 17:54 2m 56s main
main
December 3, 2023 17:54 2m 56s
fix ci Build and Deploy #37: Commit b132ee1 pushed by FernandoChu
December 3, 2023 17:49 18s main
main
December 3, 2023 17:49 18s
use old ubunto Build and Deploy #36: Commit ca8a0c5 pushed by FernandoChu
December 3, 2023 17:33 3m 19s main
main
December 3, 2023 17:33 3m 19s
abstract isProp-isEquiv Build and Deploy #35: Commit d6c65d7 pushed by FernandoChu
December 3, 2023 17:10 3m 49s main
main
December 3, 2023 17:10 3m 49s
try to remove lossy unification Build and Deploy #34: Commit f10edec pushed by FernandoChu
December 3, 2023 15:19 2m 51s main
main
December 3, 2023 15:19 2m 51s
Adding exercises and other stuff Build and Deploy #33: Commit a7410e9 pushed by FernandoChu
December 3, 2023 00:48 3m 22s main
main
December 3, 2023 00:48 3m 22s