Skip to content

Actions: miuchan/ript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
313 workflow runs
313 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #137 from miuchan/codex/documentation-information-… Quality Gate #313: Commit fb3d54a pushed by miuchan
7m 46s main
main
7m 46s
Reorganize documentation and project governance Quality Gate #312: Pull request #137 opened by miuchan
6m 53s codex/documentation-information-architecture
codex/documentation-information-architecture
6m 53s
Merge pull request #136 from miuchan/codex/generated-hammock-administ… Quality Gate #311: Commit 3a56a36 pushed by miuchan
7m 46s main
main
7m 46s
Add terminating generated hammock reductions Quality Gate #310: Pull request #136 opened by miuchan
9m 36s codex/generated-hammock-administrative-reduction
codex/generated-hammock-administrative-reduction
9m 36s
Merge pull request #135 from miuchan/codex/generated-hammock-dwyer-ka… Quality Gate #309: Commit d109fce pushed by miuchan
7m 34s main
main
7m 34s
Add generated hammock Dwyer-Kan core Quality Gate #308: Pull request #135 opened by miuchan
8m 41s codex/generated-hammock-dwyer-kan-core
codex/generated-hammock-dwyer-kan-core
8m 41s
Merge pull request #134 from miuchan/codex/hammock-associator-normali… Quality Gate #307: Commit db9c95b pushed by miuchan
10m 39s main
main
10m 39s
Complete generated hammock mapping semantics Quality Gate #306: Pull request #134 opened by miuchan
8m 1s codex/hammock-associator-normalization
codex/hammock-associator-normalization
8m 1s
Merge pull request #133 from miuchan/codex/hammock-right-unitor-norma… Quality Gate #305: Commit ad0ec1d pushed by miuchan
7m 18s main
main
7m 18s
Normalize right unitor hammock cells Quality Gate #304: Pull request #133 opened by miuchan
7m 23s codex/hammock-right-unitor-normalization
codex/hammock-right-unitor-normalization
7m 23s
Merge pull request #132 from miuchan/codex/hammock-left-unitor-normal… Quality Gate #303: Commit 00f87a2 pushed by miuchan
7m 20s main
main
7m 20s
feat(higher): normalize left unitor cells Quality Gate #302: Pull request #132 opened by miuchan
7m 26s codex/hammock-left-unitor-normalization
codex/hammock-left-unitor-normalization
7m 26s
Merge pull request #131 from miuchan/codex/hammock-marked-pair-normal… Quality Gate #301: Commit b23791d pushed by miuchan
6m 39s main
main
6m 39s
feat(higher): normalize marked pair cells Quality Gate #300: Pull request #131 opened by miuchan
6m 21s codex/hammock-marked-pair-normalization
codex/hammock-marked-pair-normalization
6m 21s
Merge pull request #130 from miuchan/codex/hammock-source-composition… Quality Gate #299: Commit b4292eb pushed by miuchan
6m 15s main
main
6m 15s
feat(higher): normalize source composition cells Quality Gate #298: Pull request #130 opened by miuchan
6m 26s codex/hammock-source-composition-normalization
codex/hammock-source-composition-normalization
6m 26s
Merge pull request #129 from miuchan/codex/hammock-normalization-natu… Quality Gate #297: Commit c547f37 pushed by miuchan
7m 16s main
main
7m 16s
feat(higher): prove hammock normalization naturality Quality Gate #296: Pull request #129 opened by miuchan
6m 4s codex/hammock-normalization-naturality
codex/hammock-normalization-naturality
6m 4s
Merge pull request #128 from miuchan/codex/hammock-path-whiskering Quality Gate #295: Commit c48b06c pushed by miuchan
6m 1s main
main
6m 1s
feat(higher): normalize hammock path whiskering Quality Gate #294: Pull request #128 opened by miuchan
5m 9s codex/hammock-path-whiskering
codex/hammock-path-whiskering
5m 9s
Merge pull request #127 from miuchan/codex/aligned-hammock-path-category Quality Gate #293: Commit 8861228 pushed by miuchan
7m 20s main
main
7m 20s
feat(higher): add aligned hammock path category Quality Gate #292: Pull request #127 opened by miuchan
5m 23s codex/aligned-hammock-path-category
codex/aligned-hammock-path-category
5m 23s
Merge pull request #126 from miuchan/codex/hammock-refinement-image-g… Quality Gate #291: Commit fd7e191 pushed by miuchan
4m 53s main
main
4m 53s
feat(higher): characterize refinement semantic image Quality Gate #290: Pull request #126 opened by miuchan
5m 44s codex/hammock-refinement-image-groupoid
codex/hammock-refinement-image-groupoid
5m 44s
Merge pull request #125 from miuchan/codex/hammock-refinement-path-ca… Quality Gate #289: Commit a99aa15 pushed by miuchan
11m 17s main
main
11m 17s