Skip to content

Actions: zxcalc/zxlive

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
424 workflow runs
424 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance typing lint #277: Pull request #283 opened by boldar99
July 3, 2024 15:05 1m 19s enhance-typing
enhance-typing
July 3, 2024 15:05 1m 19s
Merge pull request #281 from zxcalc/update_edge_and_vertex_type lint #276: Commit 2fcae12 pushed by jvdwetering
July 3, 2024 11:49 1m 20s master
master
July 3, 2024 11:49 1m 20s
improvement(typing): Use PySide6 generated stubs lint #275: Pull request #282 synchronize by boldar99
July 3, 2024 10:30 1m 27s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:30 1m 27s
improvement(typing): Use PySide6 generated stubs lint #274: Pull request #282 synchronize by boldar99
July 3, 2024 10:28 59s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:28 59s
improvement(typing): Use PySide6 generated stubs lint #273: Pull request #282 synchronize by boldar99
July 3, 2024 10:26 55s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:26 55s
improvement(typing): Use PySide6 generated stubs lint #272: Pull request #282 synchronize by boldar99
July 3, 2024 10:24 59s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:24 59s
improvement(typing): Use PySide6 generated stubs lint #271: Pull request #282 synchronize by boldar99
July 3, 2024 10:16 55s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:16 55s
improvement(typing): Use PySide6 generated stubs lint #270: Pull request #282 synchronize by boldar99
July 3, 2024 10:13 53s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:13 53s
improvement(typing): Use PySide6 generated stubs lint #269: Pull request #282 opened by boldar99
July 3, 2024 10:04 1m 3s update-pyside6-stubs
update-pyside6-stubs
July 3, 2024 10:04 1m 3s
fix: Update the uses of EdgeType and VertexType lint #268: Pull request #281 opened by boldar99
July 3, 2024 09:16 1m 25s update_edge_and_vertex_type
update_edge_and_vertex_type
July 3, 2024 09:16 1m 25s
off by one error in renaming proof steps lint #267: Commit 7c588aa pushed by RazinShaikh
June 30, 2024 21:16 1m 21s master
master
June 30, 2024 21:16 1m 21s
open new window functionality, closes Command to start a new window o… lint #266: Commit 7719751 pushed by RazinShaikh
June 30, 2024 19:28 1m 19s master
master
June 30, 2024 19:28 1m 19s
Make tab bar location customizable lint #265: Commit 9f0ed6d pushed by RazinShaikh
June 30, 2024 18:58 1m 15s master
master
June 30, 2024 18:58 1m 15s
Make tabs draggable, closes #275 lint #264: Commit a1c0803 pushed by RazinShaikh
June 30, 2024 18:55 1m 22s master
master
June 30, 2024 18:55 1m 22s
Add sound effects lint #263: Pull request #251 synchronize by RazinShaikh
June 30, 2024 17:30 1m 20s sfx
sfx
June 30, 2024 17:30 1m 20s
Merge pull request #272 from zxcalc/update-rules-on-complete-selection lint #262: Commit 47b0314 pushed by RazinShaikh
June 30, 2024 17:15 1m 15s master
master
June 30, 2024 17:15 1m 15s
create custom selection change signal such that rules are updated only once upon selection lint #261: Pull request #272 synchronize by RazinShaikh
June 30, 2024 17:13 1m 20s update-rules-on-complete-selection
update-rules-on-complete-selection
June 30, 2024 17:13 1m 20s
create custom selection change signal such that rules are updated only once upon selection lint #260: Pull request #272 opened by RazinShaikh
June 30, 2024 17:07 1m 24s update-rules-on-complete-selection
update-rules-on-complete-selection
June 30, 2024 17:07 1m 24s
Merge pull request #271 from zxcalc/async-matcher lint #259: Commit b8427da pushed by RazinShaikh
June 30, 2024 17:03 1m 20s master
master
June 30, 2024 17:03 1m 20s
Update applicable rules in the sidebar asynchronously lint #258: Pull request #271 opened by RazinShaikh
June 30, 2024 16:36 1m 21s async-matcher
async-matcher
June 30, 2024 16:36 1m 21s
Merge pull request #265 from zxcalc/curved-edges lint #257: Commit 62adb69 pushed by RazinShaikh
June 29, 2024 18:19 1m 23s master
master
June 29, 2024 18:19 1m 23s
Curved edges lint #256: Pull request #265 synchronize by RazinShaikh
June 29, 2024 17:59 1m 22s curved-edges
curved-edges
June 29, 2024 17:59 1m 22s
Curved edges lint #255: Pull request #265 synchronize by RazinShaikh
June 29, 2024 17:53 1m 25s curved-edges
curved-edges
June 29, 2024 17:53 1m 25s
Update README.md lint #254: Commit 88d6696 pushed by RazinShaikh
June 29, 2024 16:40 1m 11s master
master
June 29, 2024 16:40 1m 11s
Curved edges lint #253: Pull request #265 synchronize by RazinShaikh
June 29, 2024 15:52 1m 21s curved-edges
curved-edges
June 29, 2024 15:52 1m 21s