Skip to content

Actions: UniMath/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,512 workflow runs
1,512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Markov Categories CI Build UniMath #2833: Pull request #1951 synchronize by damast93
November 5, 2024 14:03 1h 42m 26s damast93:markov
damast93:markov
November 5, 2024 14:03 1h 42m 26s
Markov Categories CI Build UniMath #2832: Pull request #1951 synchronize by damast93
November 5, 2024 14:02 55s damast93:markov
damast93:markov
November 5, 2024 14:02 55s
Markov Categories CI Build UniMath #2831: Pull request #1951 opened by damast93
November 5, 2024 13:59 7m 54s damast93:markov
damast93:markov
November 5, 2024 13:59 7m 54s
Refactoring development of comprehension categories and internal language theorems CI Build UniMath #2830: Pull request #1948 synchronize by nmvdw
November 5, 2024 13:21 1h 42m 31s nmvdw:improve-comp-cat
nmvdw:improve-comp-cat
November 5, 2024 13:21 1h 42m 31s
Tripos to topos construction Cleanup cache from PR #224: Pull request #1945 closed by nmvdw
November 5, 2024 13:21 33s
November 5, 2024 13:21 33s
Tripos to topos construction (#1945) CI Build UniMath #2829: Commit b40e0b5 pushed by nmvdw
November 5, 2024 13:21 1h 38m 8s master
master
November 5, 2024 13:21 1h 38m 8s
pages build and deployment pages-build-deployment #385: by nmvdw
November 5, 2024 13:21 54s
November 5, 2024 13:21 54s
Refactoring development of comprehension categories and internal language theorems CI Build UniMath #2828: Pull request #1948 synchronize by nmvdw
November 4, 2024 11:18 3m 31s nmvdw:improve-comp-cat
nmvdw:improve-comp-cat
November 4, 2024 11:18 3m 31s
Tripos to topos construction CI Build UniMath #2827: Pull request #1945 synchronize by nmvdw
November 4, 2024 10:45 50m 16s nmvdw:mono-refactor
nmvdw:mono-refactor
November 4, 2024 10:45 50m 16s
Refactoring development of comprehension categories and internal language theorems CI Build UniMath #2826: Pull request #1948 synchronize by nmvdw
November 4, 2024 10:17 45m 29s nmvdw:improve-comp-cat
nmvdw:improve-comp-cat
November 4, 2024 10:17 45m 29s
CI Build UniMath CI Build UniMath #2825: Scheduled
November 4, 2024 02:17 46m 9s master
master
November 4, 2024 02:17 46m 9s
Tripos to topos construction CI Build UniMath #2824: Pull request #1945 synchronize by nmvdw
November 1, 2024 18:02 1h 53m 50s nmvdw:mono-refactor
nmvdw:mono-refactor
November 1, 2024 18:02 1h 53m 50s
Rezk completions of finite limits CI Build UniMath #2823: Pull request #1946 synchronize by nmvdw
November 1, 2024 18:02 1h 37m 40s Kfwullaert:RezkCompletionsOfFiniteLimits
Kfwullaert:RezkCompletionsOfFiniteLimits
November 1, 2024 18:02 1h 37m 40s
Refactoring development of comprehension categories and internal language theorems CI Build UniMath #2822: Pull request #1948 synchronize by nmvdw
November 1, 2024 18:01 1h 30m 54s nmvdw:improve-comp-cat
nmvdw:improve-comp-cat
November 1, 2024 18:01 1h 30m 54s
Remove duplicate definitions of is_z_isomorphism_comp (#1950) CI Build UniMath #2821: Commit 90b3bf3 pushed by nmvdw
November 1, 2024 18:01 1h 30m 38s master
master
November 1, 2024 18:01 1h 30m 38s
Remove duplicate definitions of is_z_isomorphism_comp Cleanup cache from PR #223: Pull request #1950 closed by nmvdw
November 1, 2024 18:01 25s
November 1, 2024 18:01 25s
pages build and deployment pages-build-deployment #384: by nmvdw
November 1, 2024 18:01 48s
November 1, 2024 18:01 48s
Remove duplicate definitions of is_z_isomorphism_comp CI Build UniMath #2820: Pull request #1950 synchronize by arnoudvanderleer
November 1, 2024 15:25 1h 31m 33s arnoudvanderleer:duplicate-iso-definitions
arnoudvanderleer:duplicate-iso-definitions
November 1, 2024 15:25 1h 31m 33s
Remove duplicate definitions of is_z_isomorphism_comp CI Build UniMath #2819: Pull request #1950 synchronize by arnoudvanderleer
November 1, 2024 12:48 41m 16s arnoudvanderleer:duplicate-iso-definitions
arnoudvanderleer:duplicate-iso-definitions
November 1, 2024 12:48 41m 16s
Remove duplicate definitions of is_z_isomorphism_comp CI Build UniMath #2818: Pull request #1950 opened by arnoudvanderleer
November 1, 2024 11:54 54m 42s arnoudvanderleer:duplicate-iso-definitions
arnoudvanderleer:duplicate-iso-definitions
November 1, 2024 11:54 54m 42s
Scheduled build Scheduled build #48: Scheduled
November 1, 2024 03:04 1h 32m 19s master
master
November 1, 2024 03:04 1h 32m 19s
Rezk completions of finite limits CI Build UniMath #2817: Pull request #1946 synchronize by Kfwullaert
October 31, 2024 08:02 45m 54s Kfwullaert:RezkCompletionsOfFiniteLimits
Kfwullaert:RezkCompletionsOfFiniteLimits
October 31, 2024 08:02 45m 54s
Update setup references Cleanup cache from PR #222: Pull request #1947 closed by nmvdw
October 30, 2024 09:33 19s
October 30, 2024 09:33 19s
Update setup references (#1947) CI Build UniMath #2816: Commit d5c396a pushed by nmvdw
October 30, 2024 09:33 45m 26s master
master
October 30, 2024 09:33 45m 26s
pages build and deployment pages-build-deployment #383: by nmvdw
October 30, 2024 09:32 50s
October 30, 2024 09:32 50s