Skip to content

Actions: zxcalc/zxlive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
823 workflow runs
823 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Enable "File|Export to tikz" only if active panel is a proof. test #135: Pull request #210 opened by dlyongemallo
December 10, 2023 09:21 1m 18s dlyongemallo:export_tikz_conditional
dlyongemallo:export_tikz_conditional
December 10, 2023 09:21 1m 18s
Style disabled menu items to be more visually obvious. test #134: Pull request #209 opened by dlyongemallo
December 10, 2023 09:21 1m 52s dlyongemallo:style_disabled_menu_items
dlyongemallo:style_disabled_menu_items
December 10, 2023 09:21 1m 52s
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
Now only double-clicking the vertex/edge type selectors changes the t… test #133: Commit c391e5f pushed by jvdwetering
November 30, 2023 12:12 1m 11s master
master
November 30, 2023 12:12 1m 11s
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
Merge pull request #206 from wlcsm/rename_proof_steps test #132: Commit b7cc77b pushed by RazinShaikh
November 30, 2023 00:06 1m 28s master
master
November 30, 2023 00:06 1m 28s
Add ability to rename proof steps test #131: Pull request #206 synchronize by wlcsm
November 28, 2023 21:04 1m 0s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 21:04 1m 0s
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 test #130: Pull request #206 synchronize by wlcsm
November 28, 2023 21:03 1m 18s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 21:03 1m 18s
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 test #129: Pull request #206 synchronize by wlcsm
November 28, 2023 21:02 1m 7s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 21:02 1m 7s
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
Add ability to rename proof steps test #128: Pull request #206 synchronize by wlcsm
November 28, 2023 20:52 1m 11s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 28, 2023 20:52 1m 11s
Now correctly remember the type of variables (requires newest commit … test #127: Commit 1a4d71e pushed by jvdwetering
November 27, 2023 17:22 1m 15s master
master
November 27, 2023 17:22 1m 15s
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 test #126: Pull request #206 synchronize by wlcsm
November 27, 2023 17:18 1m 9s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 27, 2023 17:18 1m 9s
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
bug fix: custom rewrite does not consider edgetype test #125: Commit 6c16c13 pushed by RazinShaikh
November 27, 2023 16:15 1m 13s master
master
November 27, 2023 16:15 1m 13s
Add ability to rename proof steps test #124: Pull request #206 opened by wlcsm
November 25, 2023 23:37 1m 15s wlcsm:rename_proof_steps
wlcsm:rename_proof_steps
November 25, 2023 23:37 1m 15s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-25 or the other filters available.