Skip to content

Actions: Drodt/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ncore taclets CodeQuality #64: Pull request #15 synchronize by unp1
November 27, 2024 09:58 2m 7s ncore-taclets
ncore-taclets
November 27, 2024 09:58 2m 7s
Ncore taclets CodeQuality #63: Pull request #15 synchronize by unp1
November 27, 2024 09:57 1m 32s ncore-taclets
ncore-taclets
November 27, 2024 09:57 1m 32s
Ncore taclets CodeQuality #62: Pull request #15 synchronize by unp1
November 27, 2024 09:56 2m 6s ncore-taclets
ncore-taclets
November 27, 2024 09:56 2m 6s
Ncore taclets CodeQuality #61: Pull request #15 synchronize by unp1
November 18, 2024 13:49 1m 50s ncore-taclets
ncore-taclets
November 18, 2024 13:49 1m 50s
RuleApp interface for all external solvers (prep for #3514) (#3521) CodeQuality #60: Commit c19bb8e pushed by Drodt
November 14, 2024 13:52 6m 13s main
main
November 14, 2024 13:52 6m 13s
Ncore taclets CodeQuality #59: Pull request #15 synchronize by Drodt
November 14, 2024 13:39 2m 0s ncore-taclets
ncore-taclets
November 14, 2024 13:39 2m 0s
Ncore taclets CodeQuality #58: Pull request #15 synchronize by Drodt
November 14, 2024 12:12 1m 30s ncore-taclets
ncore-taclets
November 14, 2024 12:12 1m 30s
Bump JetBrains/qodana-action from 2024.2.3 to 2024.2.6 in the github-… CodeQuality #57: Commit 236bfd2 pushed by Drodt
November 13, 2024 07:13 8m 5s main
main
November 13, 2024 07:13 8m 5s
Add conversion rules for Float/Double negation (#3520) CodeQuality #56: Commit 957b469 pushed by Drodt
November 4, 2024 12:34 6m 6s main
main
November 4, 2024 12:34 6m 6s
Using semantic version (SemVer) scheme for KeY (#3523) CodeQuality #55: Commit a59c293 pushed by Drodt
October 31, 2024 09:39 7m 59s main
main
October 31, 2024 09:39 7m 59s
Rusty pattern match taclets CodeQuality #54: Pull request #14 opened by tobias-rnh
October 30, 2024 16:47 2m 4s tobias-rnh:rusty-pattern-match-taclets
tobias-rnh:rusty-pattern-match-taclets
October 30, 2024 16:47 2m 4s
Rusty equalsMod CodeQuality #53: Pull request #13 opened by tobias-rnh
September 30, 2024 10:06 1m 58s tobias-rnh:rusty-equalsMod
tobias-rnh:rusty-equalsMod
September 30, 2024 10:06 1m 58s
Option to disable ProofTree tooltips, render them lazily (#3510) CodeQuality #52: Commit 144a9ba pushed by Drodt
September 5, 2024 13:10 6m 45s main
main
September 5, 2024 13:10 6m 45s
Bump the gradle-deps group with 6 updates (#3503) CodeQuality #51: Commit fb780ae pushed by Drodt
August 30, 2024 12:40 7m 15s main
main
August 30, 2024 12:40 7m 15s
Fix for #3501: Decrease log level of duplicate sort warnings (#3505) CodeQuality #50: Commit 8077951 pushed by Drodt
August 29, 2024 05:25 8m 20s main
main
August 29, 2024 05:25 8m 20s
Bump the github-actions-deps group with 2 updates (#3502) CodeQuality #49: Commit fb39c72 pushed by Drodt
August 13, 2024 09:03 8m 41s main
main
August 13, 2024 09:03 8m 41s
More taclets in testrules,key CodeQuality #48: Pull request #12 opened by tobias-rnh
July 26, 2024 17:30 2m 26s tobias-rnh:taclet-pbuilder
tobias-rnh:taclet-pbuilder
July 26, 2024 17:30 2m 26s
SemiSequent and EqualsModProperty CodeQuality #47: Pull request #11 opened by tobias-rnh
July 26, 2024 14:24 1m 55s tobias-rnh:taclet-pbuilder
tobias-rnh:taclet-pbuilder
July 26, 2024 14:24 1m 55s
Taclet pbuilder CodeQuality #46: Pull request #10 synchronize by Drodt
July 26, 2024 12:40 1m 45s tobias-rnh:taclet-pbuilder
tobias-rnh:taclet-pbuilder
July 26, 2024 12:40 1m 45s
Problem Loading CodeQuality #45: Pull request #9 synchronize by tobias-rnh
July 25, 2024 09:15 1m 35s tobias-rnh:load-problem
tobias-rnh:load-problem
July 25, 2024 09:15 1m 35s
Problem Loading CodeQuality #44: Pull request #9 synchronize by tobias-rnh
July 24, 2024 23:48 1m 49s tobias-rnh:load-problem
tobias-rnh:load-problem
July 24, 2024 23:48 1m 49s
Problem Loading CodeQuality #43: Pull request #9 opened by tobias-rnh
July 24, 2024 20:27 2m 9s tobias-rnh:load-problem
tobias-rnh:load-problem
July 24, 2024 20:27 2m 9s
Map with new equalities (#3486) CodeQuality #42: Commit 5a54b6a pushed by Drodt
July 22, 2024 11:31 7m 44s main
main
July 22, 2024 11:31 7m 44s
saving proofs for sequent problems (#3496) CodeQuality #41: Commit b590ab9 pushed by Drodt
July 12, 2024 08:29 8m 22s main
main
July 12, 2024 08:29 8m 22s
Fixed operator replacements in WD taclets after changes in PR #3436 (… CodeQuality #40: Commit a442cdf pushed by Drodt
June 25, 2024 09:22 6m 17s main
main
June 25, 2024 09:22 6m 17s