Skip to content

Actions: zxcalc/zxlive

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
420 workflow runs
420 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Continuous deployment lint #125: Pull request #195 synchronize by boldar99
November 22, 2023 17:29 1m 22s cd
cd
November 22, 2023 17:29 1m 22s
Continuous deployment lint #124: Pull request #195 synchronize by boldar99
November 22, 2023 17:00 1m 16s cd
cd
November 22, 2023 17:00 1m 16s
Continuous deployment lint #123: Pull request #195 synchronize by boldar99
November 22, 2023 16:58 1m 20s cd
cd
November 22, 2023 16:58 1m 20s
Continuous deployment lint #122: Pull request #195 synchronize by boldar99
November 22, 2023 16:50 1m 22s cd
cd
November 22, 2023 16:50 1m 22s
Continuous deployment lint #121: Pull request #195 synchronize by boldar99
November 22, 2023 16:47 1m 20s cd
cd
November 22, 2023 16:47 1m 20s
Continuous deployment lint #120: Pull request #195 synchronize by boldar99
November 22, 2023 16:45 1m 17s cd
cd
November 22, 2023 16:45 1m 17s
Continuous deployment lint #119: Pull request #195 synchronize by boldar99
November 22, 2023 16:42 1m 22s cd
cd
November 22, 2023 16:42 1m 22s
Continuous deployment lint #118: Pull request #195 synchronize by boldar99
November 22, 2023 16:39 1m 30s cd
cd
November 22, 2023 16:39 1m 30s
Continuous deployment lint #117: Pull request #195 synchronize by boldar99
November 22, 2023 16:33 1m 24s cd
cd
November 22, 2023 16:33 1m 24s
Continuous deployment lint #116: Pull request #195 synchronize by boldar99
November 22, 2023 12:39 1m 24s cd
cd
November 22, 2023 12:39 1m 24s
Continuous deployment lint #115: Pull request #195 synchronize by boldar99
November 22, 2023 12:30 1m 26s cd
cd
November 22, 2023 12:30 1m 26s
Merge pull request #204 from wlcsm/save_as_json lint #114: Commit 2c7fe29 pushed by RazinShaikh
November 22, 2023 12:09 1m 26s master
master
November 22, 2023 12:09 1m 26s
Continuous deployment lint #113: Pull request #195 synchronize by boldar99
November 22, 2023 11:59 1m 24s cd
cd
November 22, 2023 11:59 1m 24s
Save proofs as JSON rather than Tikz lint #112: Pull request #204 opened by wlcsm
November 22, 2023 11:52 1m 16s wlcsm:save_as_json
wlcsm:save_as_json
November 22, 2023 11:52 1m 16s
Continuous deployment lint #111: Pull request #195 synchronize by boldar99
November 21, 2023 18:55 1m 28s cd
cd
November 21, 2023 18:55 1m 28s
Continuous deployment lint #110: Pull request #195 synchronize by boldar99
November 21, 2023 16:15 1m 18s cd
cd
November 21, 2023 16:15 1m 18s
Continuous deployment lint #109: Pull request #195 synchronize by boldar99
November 21, 2023 16:14 1m 26s cd
cd
November 21, 2023 16:14 1m 26s
Continuous deployment lint #108: Pull request #195 synchronize by y-richie-y
November 21, 2023 14:23 1m 21s cd
cd
November 21, 2023 14:23 1m 21s
Merge pull request #193 from dlyongemallo/panel_dialog_ownership lint #107: Commit 9c561e1 pushed by jvdwetering
November 20, 2023 17:50 1m 21s master
master
November 20, 2023 17:50 1m 21s
Merge pull request #197 from dlyongemallo/save_rule_or_proof lint #106: Commit 8af03e4 pushed by jvdwetering
November 20, 2023 17:49 1m 22s master
master
November 20, 2023 17:49 1m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-11-20 or the other filters available.