Skip to content

Actions: zxcalc/zxlive

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Highlight graph changes per rewrite step in proof view #190 lint #962: Pull request #448 synchronize by dorakingx
Action required dorakingx:feature/issue-190-highlight-rewrites
dorakingx:feature/issue-190-highlight-rewrites
Action required
Highlight graph changes per rewrite step in proof view #190 lint #961: Pull request #448 synchronize by dorakingx
Action required dorakingx:feature/issue-190-highlight-rewrites
dorakingx:feature/issue-190-highlight-rewrites
Action required
Merge pull request #473 from BaselAsh/fix/missing-tooltips lint #960: Commit 3520cee pushed by RazinShaikh
1m 28s master
master
1m 28s
Fix/missing tooltips lint #959: Pull request #473 synchronize by RazinShaikh
58s BaselAsh:fix/missing-tooltips
BaselAsh:fix/missing-tooltips
58s
Fix/missing tooltips lint #958: Pull request #473 synchronize by RazinShaikh
1m 0s BaselAsh:fix/missing-tooltips
BaselAsh:fix/missing-tooltips
1m 0s
Proof step thumbnails like a filmstrip view lint #957: Pull request #442 synchronize by kwyip
Action required kwyip:master
kwyip:master
Action required
Proof step thumbnails like a filmstrip view lint #956: Pull request #442 reopened by RazinShaikh
55s kwyip:master
kwyip:master
55s
Proof step thumbnails like a filmstrip view lint #955: Pull request #442 synchronize by RazinShaikh
58s kwyip:master
kwyip:master
58s
Highlight graph changes per rewrite step in proof view #190 lint #954: Pull request #448 synchronize by dorakingx
1m 1s dorakingx:feature/issue-190-highlight-rewrites
dorakingx:feature/issue-190-highlight-rewrites
1m 1s
Highlight graph changes per rewrite step in proof view #190 lint #953: Pull request #448 synchronize by dorakingx
Action required dorakingx:feature/issue-190-highlight-rewrites
dorakingx:feature/issue-190-highlight-rewrites
Action required
Fix/missing tooltips lint #952: Pull request #473 opened by BaselAsh
1m 1s BaselAsh:fix/missing-tooltips
BaselAsh:fix/missing-tooltips
1m 1s
Enhance ProofModel by group expansion functionality. lint #950: Pull request #431 synchronize by axif0
55s axif0:copy
axif0:copy
55s
Enhance ProofModel by group expansion functionality. lint #949: Pull request #431 synchronize by axif0
53s axif0:copy
axif0:copy
53s
Enhance ProofModel by group expansion functionality. lint #948: Pull request #431 reopened by RazinShaikh
53s axif0:copy
axif0:copy
53s
Enhance ProofModel by group expansion functionality. lint #947: Pull request #431 synchronize by RazinShaikh
57s axif0:copy
axif0:copy
57s
Add thumbnail preview functionality to proof panel and model lint #946: Pull request #434 synchronize by axif0
59s axif0:thumbnails
axif0:thumbnails
59s
Add thumbnail preview functionality to proof panel and model lint #945: Pull request #434 synchronize by axif0
59s axif0:thumbnails
axif0:thumbnails
59s
Add thumbnail preview functionality to proof panel and model lint #944: Pull request #434 reopened by RazinShaikh
1m 1s axif0:thumbnails
axif0:thumbnails
1m 1s
Add thumbnail preview functionality to proof panel and model lint #943: Pull request #434 synchronize by RazinShaikh
1m 10s axif0:thumbnails
axif0:thumbnails
1m 10s
Add keyboard shortcuts for z & x identity choice buttons in ProofPanel lint #942: Commit ffe30a2 pushed by RazinShaikh
1m 7s master
master
1m 7s
Fixes #467 remove the 2 minimum edges condition from can_unfuse lint #941: Commit ba1ba2e pushed by RazinShaikh
56s master
master
56s
Merge pull request #464 from turazashvili/fix/459-phase-text-color-se… lint #940: Commit a9449e9 pushed by RazinShaikh
59s master
master
59s
Add setting to customize phase label color lint #939: Pull request #464 synchronize by RazinShaikh
56s turazashvili:fix/459-phase-text-color-setting
turazashvili:fix/459-phase-text-color-setting
56s
Add setting to customize phase label color lint #938: Pull request #464 synchronize by RazinShaikh
1m 10s turazashvili:fix/459-phase-text-color-setting
turazashvili:fix/459-phase-text-color-setting
1m 10s
Merge pull request #463 from turazashvili/fix/461-improve-tab-display… lint #937: Commit d10f4ec pushed by RazinShaikh
54s master
master
54s