Skip to content

Actions: agda/cubical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
725 workflow runs
725 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CommAlgebras as CommRingHoms Ubuntu build #2574: Pull request #1145 synchronize by felixwellen
August 4, 2024 13:40 5m 10s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 4, 2024 13:40 5m 10s
CommAlgebras as CommRingHoms Ubuntu build #2573: Pull request #1145 synchronize by felixwellen
August 4, 2024 10:34 28m 45s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 4, 2024 10:34 28m 45s
CommAlgebras as CommRingHoms Ubuntu build #2572: Pull request #1145 synchronize by felixwellen
August 4, 2024 10:07 24m 46s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 4, 2024 10:07 24m 46s
CommAlgebras as CommRingHoms Ubuntu build #2571: Pull request #1145 synchronize by felixwellen
August 4, 2024 09:37 18m 23s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 4, 2024 09:37 18m 23s
CommAlgebras as CommRingHoms Ubuntu build #2570: Pull request #1145 synchronize by felixwellen
August 3, 2024 18:12 17m 47s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 3, 2024 18:12 17m 47s
CommAlgebras as CommRingHoms Ubuntu build #2569: Pull request #1145 synchronize by felixwellen
August 3, 2024 17:26 7m 19s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 3, 2024 17:26 7m 19s
CommAlgebras as CommRingHoms Ubuntu build #2568: Pull request #1145 synchronize by felixwellen
August 3, 2024 12:53 7m 24s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 3, 2024 12:53 7m 24s
CommAlgebras as CommRingHoms Ubuntu build #2567: Pull request #1145 synchronize by felixwellen
August 3, 2024 09:29 7m 14s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 3, 2024 09:29 7m 14s
CommAlgebras as CommRingHoms Ubuntu build #2566: Pull request #1145 synchronize by felixwellen
August 2, 2024 16:53 7m 32s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 16:53 7m 32s
CommAlgebras as CommRingHoms Ubuntu build #2565: Pull request #1145 synchronize by felixwellen
August 2, 2024 16:22 7m 43s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 16:22 7m 43s
CommAlgebras as CommRingHoms Ubuntu build #2564: Pull request #1145 synchronize by felixwellen
August 2, 2024 16:22 7m 16s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 16:22 7m 16s
CommAlgebras as CommRingHoms Ubuntu build #2563: Pull request #1145 synchronize by felixwellen
August 2, 2024 16:04 7m 33s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 16:04 7m 33s
CommAlgebras as CommRingHoms Ubuntu build #2562: Pull request #1145 synchronize by felixwellen
August 2, 2024 11:42 7m 16s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 11:42 7m 16s
CommAlgebras as CommRingHoms Ubuntu build #2561: Pull request #1145 synchronize by felixwellen
August 2, 2024 11:41 7m 8s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 11:41 7m 8s
CommAlgebras as CommRingHoms Ubuntu build #2560: Pull request #1145 synchronize by felixwellen
August 2, 2024 10:01 7m 23s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 2, 2024 10:01 7m 23s
CommAlgebras as CommRingHoms Ubuntu build #2559: Pull request #1145 synchronize by felixwellen
August 1, 2024 15:37 7m 27s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 1, 2024 15:37 7m 27s
CommAlgebras as CommRingHoms Ubuntu build #2558: Pull request #1145 synchronize by felixwellen
August 1, 2024 13:32 8m 6s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 1, 2024 13:32 8m 6s
CommAlgebras as CommRingHoms Ubuntu build #2557: Pull request #1145 synchronize by felixwellen
August 1, 2024 09:18 7m 21s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 1, 2024 09:18 7m 21s
CommAlgebras as CommRingHoms Ubuntu build #2556: Pull request #1145 synchronize by felixwellen
August 1, 2024 08:17 7m 23s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 1, 2024 08:17 7m 23s
CommAlgebras as CommRingHoms Ubuntu build #2555: Pull request #1145 synchronize by felixwellen
August 1, 2024 08:12 18m 44s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
August 1, 2024 08:12 18m 44s
CommAlgebras as CommRingHoms Ubuntu build #2554: Pull request #1145 synchronize by felixwellen
July 31, 2024 14:59 12m 35s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
July 31, 2024 14:59 12m 35s
CommAlgebras as CommRingHoms Ubuntu build #2553: Pull request #1145 synchronize by felixwellen
July 31, 2024 14:59 13m 12s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
July 31, 2024 14:59 13m 12s
CommAlgebras as CommRingHoms Ubuntu build #2552: Pull request #1145 synchronize by felixwellen
July 31, 2024 14:49 12m 15s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
July 31, 2024 14:49 12m 15s
CommAlgebras as CommRingHoms Ubuntu build #2551: Pull request #1145 synchronize by felixwellen
July 31, 2024 08:41 12m 22s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
July 31, 2024 08:41 12m 22s
CommAlgebras as CommRingHoms Ubuntu build #2550: Pull request #1145 synchronize by felixwellen
July 31, 2024 07:16 8m 51s fwellen/ring_with_hom_algebras
fwellen/ring_with_hom_algebras
July 31, 2024 07:16 8m 51s