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

Merge pull request #212 from dlyongemallo/save_lemma_default_name lint #150: Commit 9822dda pushed by jvdwetering
December 11, 2023 09:58 1m 19s master
master
December 11, 2023 09:58 1m 19s
Merge pull request #210 from dlyongemallo/export_tikz_conditional lint #149: Commit 836272f pushed by jvdwetering
December 11, 2023 09:55 1m 19s master
master
December 11, 2023 09:55 1m 19s
Merge pull request #209 from dlyongemallo/style_disabled_menu_items lint #148: Commit b882a07 pushed by jvdwetering
December 11, 2023 09:53 1m 24s master
master
December 11, 2023 09:53 1m 24s
Default filename to lemma's name when saving. lint #147: Pull request #212 opened by dlyongemallo
December 10, 2023 12:11 1m 35s dlyongemallo:save_lemma_default_name
dlyongemallo:save_lemma_default_name
December 10, 2023 12:11 1m 35s
Enable "File|Export to tikz" only if active panel is a proof. lint #146: Pull request #210 opened by dlyongemallo
December 10, 2023 09:21 1m 20s dlyongemallo:export_tikz_conditional
dlyongemallo:export_tikz_conditional
December 10, 2023 09:21 1m 20s
Style disabled menu items to be more visually obvious. lint #145: Pull request #209 opened by dlyongemallo
December 10, 2023 09:21 1m 39s dlyongemallo:style_disabled_menu_items
dlyongemallo:style_disabled_menu_items
December 10, 2023 09:21 1m 39s
Now only double-clicking the vertex/edge type selectors changes the t… lint #144: Commit c391e5f pushed by jvdwetering
November 30, 2023 12:12 1m 27s master
master
November 30, 2023 12:12 1m 27s
Merge pull request #206 from wlcsm/rename_proof_steps lint #143: Commit b7cc77b pushed by RazinShaikh
November 30, 2023 00:06 1m 32s master
master
November 30, 2023 00:06 1m 32s
Add ability to rename proof steps lint #142: Pull request #206 synchronize by wlcsm
November 28, 2023 21:04 1m 20s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 21:04 1m 20s
Add ability to rename proof steps lint #141: Pull request #206 synchronize by wlcsm
November 28, 2023 21:03 1m 24s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 21:03 1m 24s
Add ability to rename proof steps lint #140: Pull request #206 synchronize by wlcsm
November 28, 2023 21:02 1m 19s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 21:02 1m 19s
Add ability to rename proof steps lint #139: Pull request #206 synchronize by wlcsm
November 28, 2023 20:52 1m 18s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 20:52 1m 18s
Now correctly remember the type of variables (requires newest commit … lint #138: Commit 1a4d71e pushed by jvdwetering
November 27, 2023 17:22 1m 24s master
master
November 27, 2023 17:22 1m 24s
Add ability to rename proof steps lint #137: Pull request #206 synchronize by wlcsm
November 27, 2023 17:18 1m 21s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 27, 2023 17:18 1m 21s
bug fix: custom rewrite does not consider edgetype lint #136: Commit 6c16c13 pushed by RazinShaikh
November 27, 2023 16:15 1m 20s master
master
November 27, 2023 16:15 1m 20s
Add ability to rename proof steps lint #135: Pull request #206 opened by wlcsm
November 25, 2023 23:37 1m 19s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 25, 2023 23:37 1m 19s
Merge pull request #205 from wlcsm/remove-unused-imports lint #134: Commit fcb1a96 pushed by jvdwetering
November 24, 2023 19:54 1m 24s master
master
November 24, 2023 19:54 1m 24s
Bump version: v0.1.0 -> v0.1.1 lint #133: Commit ee387b8 pushed by boldar99
November 24, 2023 18:16 1m 29s master
master
November 24, 2023 18:16 1m 29s
Remove unused imports lint #132: Pull request #205 opened by wlcsm
November 24, 2023 17:35 1m 17s wlcsm:remove-unused-imports
wlcsm:remove-unused-imports
November 24, 2023 17:35 1m 17s
Merge pull request #195 from Quantomatic/cd lint #131: Commit 1048659 pushed by boldar99
November 24, 2023 17:17 1m 26s master
master
November 24, 2023 17:17 1m 26s
Continuous deployment lint #130: Pull request #195 synchronize by boldar99
November 24, 2023 17:12 1m 28s cd
cd
November 24, 2023 17:12 1m 28s
Continuous deployment lint #129: Pull request #195 synchronize by boldar99
November 24, 2023 13:52 1m 24s cd
cd
November 24, 2023 13:52 1m 24s
Continuous deployment lint #128: Pull request #195 synchronize by boldar99
November 24, 2023 12:19 1m 30s cd
cd
November 24, 2023 12:19 1m 30s
Continuous deployment lint #127: Pull request #195 synchronize by boldar99
November 24, 2023 11:27 1m 18s cd
cd
November 24, 2023 11:27 1m 18s
Add longer explanation to circuit input dialog lint #126: Commit 7fcfff3 pushed by jvdwetering
November 23, 2023 10:55 1m 23s master
master
November 23, 2023 10:55 1m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-11-23 or the other filters available.