Skip to content

Actions: draperlaboratory/cozy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix spelling (oops)
tests #39: Commit beca14a pushed by gleachkr
January 3, 2025 19:51 1h 4m 0s develop
January 3, 2025 19:51 1h 4m 0s
Use more recent z3 in nix build
tests #38: Commit 8f6c656 pushed by gleachkr
December 6, 2024 19:13 1h 1m 39s develop
December 6, 2024 19:13 1h 1m 39s
December 6, 2024 18:06 44m 5s
pages build and deployment
pages-build-deployment #29: by github-pages bot
December 5, 2024 18:44 23s gh-pages
December 5, 2024 18:44 23s
update nix flake to pinned dependency versions
documentation #48: Commit 2e60ce7 pushed by calebh
December 5, 2024 18:44 28s main
December 5, 2024 18:44 28s
update nix flake to pinned dependency versions
tests #36: Commit 2e60ce7 pushed by gleachkr
December 5, 2024 18:21 27m 4s develop
December 5, 2024 18:21 27m 4s
December 4, 2024 19:49 4m 36s
Update bundle.js
tests #34: Commit abbe840 pushed by gleachkr
November 29, 2024 22:59 37m 54s develop
November 29, 2024 22:59 37m 54s
pages build and deployment
pages-build-deployment #28: by github-pages bot
September 23, 2024 15:43 26s gh-pages
September 23, 2024 15:43 26s
Merge branch 'develop' into main
documentation #47: Commit 99f6118 pushed by calebh
September 23, 2024 15:42 27s main
September 23, 2024 15:42 27s
Merge branch 'develop' into main
tests #33: Commit 99f6118 pushed by calebh
September 23, 2024 15:42 40m 47s develop
September 23, 2024 15:42 40m 47s
pages build and deployment
pages-build-deployment #27: by github-pages bot
September 23, 2024 15:37 28s gh-pages
September 23, 2024 15:37 28s
Bumped version number to 1.5.1
documentation #46: Commit de52e36 pushed by calebh
September 23, 2024 15:36 25s main
September 23, 2024 15:36 25s
pages build and deployment
pages-build-deployment #26: by github-pages bot
September 23, 2024 15:35 28s gh-pages
September 23, 2024 15:35 28s
Update README.md
documentation #45: Commit 18cd6c8 pushed by calebh
September 23, 2024 15:34 27s main
September 23, 2024 15:34 27s
Update README.md
tests #32: Commit 18cd6c8 pushed by gleachkr
September 16, 2024 21:54 37m 46s develop
September 16, 2024 21:54 37m 46s
July 24, 2024 00:02 38m 32s
Polish cozy-viz README
tests #30: Commit ddf41df pushed by gleachkr
July 12, 2024 21:06 40m 0s develop
July 12, 2024 21:06 40m 0s
Improved cozy-viz README
tests #29: Commit 14ec23f pushed by gleachkr
July 11, 2024 21:06 40m 4s develop
July 11, 2024 21:06 40m 4s
Add documentation of diff panel
tests #28: Commit 4c519cc pushed by gleachkr
July 11, 2024 15:57 39m 32s develop
July 11, 2024 15:57 39m 32s
Expand template wizard section of the top README
tests #27: Commit 9f9724f pushed by gleachkr
July 11, 2024 15:11 41m 26s develop
July 11, 2024 15:11 41m 26s
pages build and deployment
pages-build-deployment #25: by github-pages bot
July 3, 2024 18:31 24s gh-pages
July 3, 2024 18:31 24s
Added Pushing release instructions for PyPI
tests #26: Commit a2d44d0 pushed by calebh
July 3, 2024 18:30 53m 18s develop
July 3, 2024 18:30 53m 18s
Added Pushing release instructions for PyPI
documentation #44: Commit a2d44d0 pushed by calebh
July 3, 2024 18:30 25s main
July 3, 2024 18:30 25s
pages build and deployment
pages-build-deployment #24: by github-pages bot
July 3, 2024 18:10 25s gh-pages
July 3, 2024 18:10 25s