Skip to content

Actions: ToposInstitute/CatColab

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
914 workflow runs
914 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Option to bound length of paths considered by morphism finder deploy #919: Pull request #419 opened by epatters
February 21, 2025 05:49 2m 22s max_path_length
max_path_length
February 21, 2025 05:49 2m 22s
Dev docs on free models of double theories (#301) deploy #918: Commit 8e92855 pushed by epatters
February 20, 2025 23:35 2m 43s main
main
February 20, 2025 23:35 2m 43s
Import/export JSON for models and diagrams deploy #917: Pull request #332 synchronize by epatters
February 19, 2025 20:02 2m 29s json_io
json_io
February 19, 2025 20:02 2m 29s
Merge menu components for the model and diagram editor deploy #916: Pull request #407 synchronize by jmoggr
February 19, 2025 19:43 2m 44s json_io-export-menu-refactor
json_io-export-menu-refactor
February 19, 2025 19:43 2m 44s
Merge menu components for the model and diagram editor deploy #915: Pull request #407 synchronize by jmoggr
February 19, 2025 19:32 1m 32s json_io-export-menu-refactor
json_io-export-menu-refactor
February 19, 2025 19:32 1m 32s
Add backend for querying refs deploy #914: Pull request #414 synchronize by jmoggr
February 18, 2025 20:41 2m 44s query_refs
query_refs
February 18, 2025 20:41 2m 44s
Merge menu components for the model and diagram editor deploy #913: Pull request #407 synchronize by jmoggr
February 18, 2025 20:38 2m 34s json_io-export-menu-refactor
json_io-export-menu-refactor
February 18, 2025 20:38 2m 34s
Merge menu components for the model and diagram editor deploy #912: Pull request #407 synchronize by jmoggr
February 18, 2025 20:37 1m 24s json_io-export-menu-refactor
json_io-export-menu-refactor
February 18, 2025 20:37 1m 24s
Merge menu components for the model and diagram editor deploy #911: Pull request #407 synchronize by jmoggr
February 18, 2025 20:33 2m 30s json_io-export-menu-refactor
json_io-export-menu-refactor
February 18, 2025 20:33 2m 30s
Add backend for querying refs deploy #910: Pull request #414 synchronize by jmoggr
February 17, 2025 18:12 1m 55s query_refs
query_refs
February 17, 2025 18:12 1m 55s
Add backend for querying refs deploy #909: Pull request #414 synchronize by jmoggr
February 17, 2025 18:10 1m 41s query_refs
query_refs
February 17, 2025 18:10 1m 41s
Add backend for querying refs deploy #908: Pull request #414 synchronize by jmoggr
February 17, 2025 18:07 1m 40s query_refs
query_refs
February 17, 2025 18:07 1m 40s
Add backend for querying refs deploy #907: Pull request #414 synchronize by jmoggr
February 17, 2025 18:04 2m 41s query_refs
query_refs
February 17, 2025 18:04 2m 41s
Add backend for querying refs deploy #906: Pull request #414 synchronize by jmoggr
February 17, 2025 17:55 1m 38s query_refs
query_refs
February 17, 2025 17:55 1m 38s
Add backend for querying refs deploy #905: Pull request #414 opened by jmoggr
February 17, 2025 17:52 1m 47s query_refs
query_refs
February 17, 2025 17:52 1m 47s
GIN Index deploy #904: Pull request #413 opened by hamidahoderinwale
February 16, 2025 01:57 2m 37s ginindex
ginindex
February 16, 2025 01:57 2m 37s
Merge menu components for the model and diagram editor deploy #903: Pull request #407 synchronize by KevinDCarlson
February 14, 2025 21:30 2m 32s json_io-export-menu-refactor
json_io-export-menu-refactor
February 14, 2025 21:30 2m 32s
Import/export JSON for models and diagrams deploy #902: Pull request #332 synchronize by KevinDCarlson
February 14, 2025 21:27 2m 25s json_io
json_io
February 14, 2025 21:27 2m 25s
fix review nits for json_io deploy #901: Pull request #406 opened by jmoggr
February 14, 2025 16:01 2m 36s json_io-review-nits
json_io-review-nits
February 14, 2025 16:01 2m 36s
Show an error message when unauthorized access is attempted (#398) deploy #900: Commit a5187e5 pushed by epatters
February 14, 2025 04:10 2m 36s main
main
February 14, 2025 04:10 2m 36s
v0.2.2 deploy #899: Release v0.2.2 published by epatters
February 14, 2025 00:44 2m 28s
February 14, 2025 00:44 2m 28s
Link to quick intro from main help page (#405) deploy #898: Commit eb91413 pushed by epatters
February 14, 2025 00:39 2m 39s main
main
February 14, 2025 00:39 2m 39s
Link to quick intro from main help page deploy #897: Pull request #405 synchronize by KevinDCarlson
February 14, 2025 00:35 2m 42s demo_page
demo_page
February 14, 2025 00:35 2m 42s
Link to quick intro from main help page deploy #896: Pull request #405 opened by KevinDCarlson
February 14, 2025 00:34 2m 26s demo_page
demo_page
February 14, 2025 00:34 2m 26s
Show an error message when unauthorized access is attempted deploy #895: Pull request #398 synchronize by jmoggr
February 13, 2025 20:11 2m 35s editor-error-boundary
editor-error-boundary
February 13, 2025 20:11 2m 35s