Skip to content

Actions: rmatthes/UniMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build UniMath CI Build UniMath #338: Scheduled
56m 0s master
master
56m 0s
CI Build UniMath CI Build UniMath #337: Scheduled
56m 32s master
master
56m 32s
CI Build UniMath CI Build UniMath #336: Scheduled
54m 47s master
master
54m 47s
CI Build UniMath CI Build UniMath #335: Scheduled
56m 15s master
master
56m 15s
CI Build UniMath CI Build UniMath #334: Scheduled
55m 24s master
master
55m 24s
CI Build UniMath CI Build UniMath #333: Scheduled
54m 24s master
master
54m 24s
CI Build UniMath CI Build UniMath #332: Scheduled
56m 17s master
master
56m 17s
CI Build UniMath CI Build UniMath #331: Scheduled
5m 6s master
master
5m 6s
CI Build UniMath CI Build UniMath #330: Scheduled
57m 10s master
master
57m 10s
CI Build UniMath CI Build UniMath #329: Scheduled
55m 44s master
master
55m 44s
CI Build UniMath CI Build UniMath #328: Scheduled
5m 45s master
master
5m 45s
Revert "biequiv for universe types" CI Build UniMath #327: Commit 2883378 pushed by rmatthes
53m 41s master
master
53m 41s
CI Build UniMath CI Build UniMath #326: Scheduled
1h 14m 18s master
master
1h 14m 18s
M Types for Set-based Polynomial Functors (#2056) CI Build UniMath #325: Commit 9c1f77d pushed by rmatthes
2h 8m 54s master
master
2h 8m 54s
Restrict FLists, FMatrices, FVectors to their respective contents, up… CI Build UniMath #324: Commit d251895 pushed by rmatthes
2h 6m 6s master
master
2h 6m 6s
CI Build UniMath CI Build UniMath #323: Scheduled
1h 14m 42s master
master
1h 14m 42s
a little help for the type-checker to make the previous commit compile CI Build UniMath #322: Commit ce58395 pushed by rmatthes
2h 5m 27s master
master
2h 5m 27s
less header info in .v, as asked for by Arnoud; no aborted lemma (sug… CI Build UniMath #321: Commit 73ea024 pushed by rmatthes
31m 19s master
master
31m 19s
The results of my internship Cleanup cache from PR #3: Pull request #45 closed by rmatthes
9s
9s
Added proof that KFinite types with decidable equality are Bishop fin… CI Build UniMath #320: Commit 6ec6557 pushed by rmatthes
2h 10m 41s master
master
2h 10m 41s
Update Contributing.md (#2046) CI Build UniMath #319: Commit 5941f44 pushed by rmatthes
7h 8m 43s master
master
7h 8m 43s
CI Build UniMath CI Build UniMath #318: Scheduled
51m 8s master
master
51m 8s
Scheduled build Scheduled build #62: Scheduled
5m 54s master
master
5m 54s
CI Build UniMath CI Build UniMath #317: Scheduled
51m 29s master
master
51m 29s
CI Build UniMath CI Build UniMath #316: Scheduled
1h 12m 33s master
master
1h 12m 33s