Skip to content

Actions: draperlaboratory/cozy

tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added icons
tests #40: Commit 27b4d95 pushed by gregsgit
February 19, 2025 15:54 1h 2m 48s develop
February 19, 2025 15:54 1h 2m 48s
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
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
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
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
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
Move layoutMenu to separate module
tests #25: Commit 0a8d892 pushed by gleachkr
June 25, 2024 18:05 47m 34s develop
June 25, 2024 18:05 47m 34s
Refactor diffPanel into one-component-per-module
tests #24: Commit cbf0dae pushed by gleachkr
June 25, 2024 15:33 50m 24s develop
June 25, 2024 15:33 50m 24s
Refactor menuBar.js into something modular
tests #23: Commit 02f2e83 pushed by gleachkr
June 24, 2024 20:37 50m 22s develop
June 24, 2024 20:37 50m 22s
Add support for multiple regexes
tests #22: Commit 811cd62 pushed by gleachkr
June 24, 2024 14:10 50m 47s develop
June 24, 2024 14:10 50m 47s
Bugfix: don't open disabled menus on mouseenter
tests #21: Commit cdae22b pushed by gleachkr
June 13, 2024 20:31 50m 56s develop
June 13, 2024 20:31 50m 56s
Added verification condition to cmp_null_deref example
tests #20: Commit d7e8643 pushed by calebh
May 31, 2024 17:22 48m 22s develop
May 31, 2024 17:22 48m 22s
Bump cozy project files to latest version number
tests #19: Commit c955d6a pushed by calebh
May 29, 2024 19:15 49m 10s develop
May 29, 2024 19:15 49m 10s
Added preview videos
tests #18: Commit 2e4001c pushed by calebh
May 29, 2024 19:08 4m 19s develop
May 29, 2024 19:08 4m 19s
tests
tests #17: by calebh
May 29, 2024 18:36 48m 7s develop
May 29, 2024 18:36 48m 7s
Update README to make instructions clearer
tests #16: Commit 4110e92 pushed by calebh
May 23, 2024 15:38 50m 30s develop
May 23, 2024 15:38 50m 30s