Skip to content

Actions: FernandoChu/HoTT-Book-Agda

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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