Skip to content

Actions: ToposInstitute/CatColab

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
931 workflow runs
931 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Option to bound length of paths considered by morphism finder ci #936: Pull request #419 opened by epatters
February 21, 2025 05:49 2m 1s max_path_length
max_path_length
February 21, 2025 05:49 2m 1s
Dev docs on free models of double theories (#301) ci #935: Commit 8e92855 pushed by epatters
February 20, 2025 23:35 2m 2s main
main
February 20, 2025 23:35 2m 2s
Import/export JSON for models and diagrams ci #934: Pull request #332 synchronize by epatters
February 19, 2025 20:02 2m 4s json_io
json_io
February 19, 2025 20:02 2m 4s
Merge menu components for the model and diagram editor ci #933: Pull request #407 synchronize by jmoggr
February 19, 2025 19:43 2m 1s json_io-export-menu-refactor
json_io-export-menu-refactor
February 19, 2025 19:43 2m 1s
Merge menu components for the model and diagram editor ci #932: Pull request #407 synchronize by jmoggr
February 19, 2025 19:32 2m 12s json_io-export-menu-refactor
json_io-export-menu-refactor
February 19, 2025 19:32 2m 12s
Add backend for querying refs ci #931: Pull request #414 synchronize by jmoggr
February 18, 2025 20:41 2m 1s query_refs
query_refs
February 18, 2025 20:41 2m 1s
Merge menu components for the model and diagram editor ci #930: Pull request #407 synchronize by jmoggr
February 18, 2025 20:38 2m 6s json_io-export-menu-refactor
json_io-export-menu-refactor
February 18, 2025 20:38 2m 6s
Merge menu components for the model and diagram editor ci #929: Pull request #407 synchronize by jmoggr
February 18, 2025 20:37 2m 7s json_io-export-menu-refactor
json_io-export-menu-refactor
February 18, 2025 20:37 2m 7s
Merge menu components for the model and diagram editor ci #928: Pull request #407 synchronize by jmoggr
February 18, 2025 20:33 2m 0s json_io-export-menu-refactor
json_io-export-menu-refactor
February 18, 2025 20:33 2m 0s
Add backend for querying refs ci #927: Pull request #414 synchronize by jmoggr
February 17, 2025 18:12 1m 49s query_refs
query_refs
February 17, 2025 18:12 1m 49s
Add backend for querying refs ci #926: Pull request #414 synchronize by jmoggr
February 17, 2025 18:10 1m 46s query_refs
query_refs
February 17, 2025 18:10 1m 46s
Add backend for querying refs ci #925: Pull request #414 synchronize by jmoggr
February 17, 2025 18:07 1m 39s query_refs
query_refs
February 17, 2025 18:07 1m 39s
Add backend for querying refs ci #924: Pull request #414 synchronize by jmoggr
February 17, 2025 18:04 2m 1s query_refs
query_refs
February 17, 2025 18:04 2m 1s
Add backend for querying refs ci #923: Pull request #414 synchronize by jmoggr
February 17, 2025 17:55 1m 42s query_refs
query_refs
February 17, 2025 17:55 1m 42s
Add backend for querying refs ci #922: Pull request #414 opened by jmoggr
February 17, 2025 17:52 1m 43s query_refs
query_refs
February 17, 2025 17:52 1m 43s
GIN Index ci #921: Pull request #413 opened by hamidahoderinwale
February 16, 2025 01:57 2m 9s ginindex
ginindex
February 16, 2025 01:57 2m 9s
Merge menu components for the model and diagram editor ci #920: Pull request #407 synchronize by KevinDCarlson
February 14, 2025 21:30 2m 1s json_io-export-menu-refactor
json_io-export-menu-refactor
February 14, 2025 21:30 2m 1s
Import/export JSON for models and diagrams ci #919: Pull request #332 synchronize by KevinDCarlson
February 14, 2025 21:27 2m 0s json_io
json_io
February 14, 2025 21:27 2m 0s
fix review nits for json_io ci #918: Pull request #406 opened by jmoggr
February 14, 2025 16:01 2m 9s json_io-review-nits
json_io-review-nits
February 14, 2025 16:01 2m 9s
Show an error message when unauthorized access is attempted (#398) ci #917: Commit a5187e5 pushed by epatters
February 14, 2025 04:10 1m 59s main
main
February 14, 2025 04:10 1m 59s
Link to quick intro from main help page (#405) ci #916: Commit eb91413 pushed by epatters
February 14, 2025 00:39 2m 1s main
main
February 14, 2025 00:39 2m 1s
Link to quick intro from main help page ci #915: Pull request #405 synchronize by KevinDCarlson
February 14, 2025 00:35 2m 4s demo_page
demo_page
February 14, 2025 00:35 2m 4s
Link to quick intro from main help page ci #914: Pull request #405 opened by KevinDCarlson
February 14, 2025 00:34 2m 6s demo_page
demo_page
February 14, 2025 00:34 2m 6s
Show an error message when unauthorized access is attempted ci #913: Pull request #398 synchronize by jmoggr
February 13, 2025 20:11 2m 1s editor-error-boundary
editor-error-boundary
February 13, 2025 20:11 2m 1s
Show an error message when unauthorized access is attempted ci #912: Pull request #398 synchronize by jmoggr
February 13, 2025 20:04 2m 10s editor-error-boundary
editor-error-boundary
February 13, 2025 20:04 2m 10s