Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,335 workflow runs
4,335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Preunivalence implies strong preunivalence agda-unimath CI #9350: Pull request #1364 ready_for_review by fredrik-bakke
March 15, 2025 19:05 12m 40s fredrik-bakke:strong-preunivalence
fredrik-bakke:strong-preunivalence
March 15, 2025 19:05 12m 40s
Preunivalence implies strong preunivalence agda-unimath CI #9349: Pull request #1364 synchronize by fredrik-bakke
March 15, 2025 19:05 28s fredrik-bakke:strong-preunivalence
fredrik-bakke:strong-preunivalence
March 15, 2025 19:05 28s
Preunivalence implies strong preunivalence agda-unimath CI #9348: Pull request #1364 synchronize by fredrik-bakke
March 15, 2025 18:56 9m 26s fredrik-bakke:strong-preunivalence
fredrik-bakke:strong-preunivalence
March 15, 2025 18:56 9m 26s
Flattening lemma for equifibered dependent span diagrams agda-unimath CI #9347: Pull request #1366 synchronize by fredrik-bakke
March 15, 2025 18:26 4m 9s fredrik-bakke:mather's-second-cube-theorem
fredrik-bakke:mather's-second-cube-theorem
March 15, 2025 18:26 4m 9s
Flattening lemma for equifibered dependent span diagrams agda-unimath CI #9346: Pull request #1366 synchronize by fredrik-bakke
March 15, 2025 18:21 3m 54s fredrik-bakke:mather's-second-cube-theorem
fredrik-bakke:mather's-second-cube-theorem
March 15, 2025 18:21 3m 54s
Flattening lemma for equifibered dependent span diagrams agda-unimath CI #9345: Pull request #1366 opened by fredrik-bakke
March 15, 2025 17:03 17m 28s fredrik-bakke:mather's-second-cube-theorem
fredrik-bakke:mather's-second-cube-theorem
March 15, 2025 17:03 17m 28s
Flattening lemma for equifibered dependent span diagrams Clean up caches generated by pull requests #628: Pull request #1365 closed by fredrik-bakke
March 15, 2025 17:02 14s fredrik-bakke:flattening-lemma-equifibrations-span-diagrams
fredrik-bakke:flattening-lemma-equifibrations-span-diagrams
March 15, 2025 17:02 14s
Flattening lemma for equifibered dependent span diagrams agda-unimath CI #9344: Pull request #1365 opened by fredrik-bakke
March 15, 2025 16:49 18m 11s fredrik-bakke:flattening-lemma-equifibrations-span-diagrams
fredrik-bakke:flattening-lemma-equifibrations-span-diagrams
March 15, 2025 16:49 18m 11s
Logic, equality, and compactness agda-unimath CI #9343: Pull request #1264 synchronize by fredrik-bakke
March 15, 2025 12:55 3m 15s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 15, 2025 12:55 3m 15s
Logic, equality, and compactness agda-unimath CI #9342: Pull request #1264 synchronize by fredrik-bakke
March 15, 2025 11:05 18m 57s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 15, 2025 11:05 18m 57s
Logic, equality, and compactness agda-unimath CI #9341: Pull request #1264 synchronize by fredrik-bakke
March 15, 2025 00:47 12m 44s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 15, 2025 00:47 12m 44s
Logic, equality, and compactness agda-unimath CI #9340: Pull request #1264 synchronize by fredrik-bakke
March 14, 2025 19:01 13m 9s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 14, 2025 19:01 13m 9s
Logic, equality, and compactness agda-unimath CI #9339: Pull request #1264 synchronize by fredrik-bakke
March 14, 2025 15:09 13m 21s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 14, 2025 15:09 13m 21s
Logic, equality, and compactness agda-unimath CI #9338: Pull request #1264 synchronize by fredrik-bakke
March 14, 2025 11:23 3m 36s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 14, 2025 11:23 3m 36s
Logic, equality, and compactness agda-unimath CI #9337: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 23:24 17m 53s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 23:24 17m 53s
Logic, equality, and compactness agda-unimath CI #9336: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 22:21 9m 38s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 22:21 9m 38s
Logic, equality, and compactness agda-unimath CI #9335: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 20:35 9m 52s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 20:35 9m 52s
Logic, equality, and compactness agda-unimath CI #9334: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 19:39 9m 37s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 19:39 9m 37s
Logic, equality, and compactness agda-unimath CI #9333: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 18:01 9m 58s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 18:01 9m 58s
Logic, equality, and compactness agda-unimath CI #9332: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 17:54 6m 54s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 17:54 6m 54s
Preunivalence implies strong preunivalence agda-unimath CI #9331: Pull request #1364 synchronize by fredrik-bakke
March 13, 2025 17:12 18m 39s fredrik-bakke:strong-preunivalence
fredrik-bakke:strong-preunivalence
March 13, 2025 17:12 18m 39s
Logic, equality, and compactness agda-unimath CI #9330: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 16:55 9m 21s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 16:55 9m 21s
Logic, equality, and compactness agda-unimath CI #9329: Pull request #1264 synchronize by fredrik-bakke
March 13, 2025 16:10 6m 55s fredrik-bakke:logic-compactness
fredrik-bakke:logic-compactness
March 13, 2025 16:10 6m 55s
Preunivalence implies strong preunivalence agda-unimath CI #9328: Pull request #1364 synchronize by fredrik-bakke
March 13, 2025 16:10 3m 18s fredrik-bakke:strong-preunivalence
fredrik-bakke:strong-preunivalence
March 13, 2025 16:10 3m 18s
Preunivalence implies strong preunivalence agda-unimath CI #9327: Pull request #1364 synchronize by fredrik-bakke
March 13, 2025 15:38 19m 57s fredrik-bakke:strong-preunivalence
fredrik-bakke:strong-preunivalence
March 13, 2025 15:38 19m 57s