Skip to content

Actions: Drodt/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Github Action for Gradle (#3480) CodeQuality #39: Commit ab3a340 pushed by Drodt
June 24, 2024 06:49 6m 16s main
main
June 24, 2024 06:49 6m 16s
RuleCommand can now deal with rules that have schema variables for lo… CodeQuality #38: Commit c8b5d84 pushed by Drodt
June 21, 2024 13:15 8m 13s main
main
June 21, 2024 13:15 8m 13s
Update Github Action for Gradle CodeQuality #37: Pull request #8 opened by unp1
June 14, 2024 07:15 2m 0s KeYProject:updateGithubActionsForv40
KeYProject:updateGithubActionsForv40
June 14, 2024 07:15 2m 0s
Allow "\seq()" and "\locset()" in JML (#3476) CodeQuality #36: Commit 51f368c pushed by Drodt
June 12, 2024 08:26 8m 14s main
main
June 12, 2024 08:26 8m 14s
Bump the github-actions-deps group with 11 updates (#3464) CodeQuality #35: Commit af7338b pushed by Drodt
May 29, 2024 07:50 8m 16s main
main
May 29, 2024 07:50 8m 16s
Fix checkstyle workflow (#3471) CodeQuality #34: Commit 120b06f pushed by Drodt
May 22, 2024 09:08 7m 16s main
main
May 22, 2024 09:08 7m 16s
Renovation of PO loading (#3379) CodeQuality #33: Commit 66fc99f pushed by Drodt
May 17, 2024 12:21 9m 11s main
main
May 17, 2024 12:21 9m 11s
Nullness Type System activated for key.ncore (#3468) CodeQuality #32: Commit 4774c7d pushed by Drodt
May 6, 2024 15:38 7m 56s main
main
May 6, 2024 15:38 7m 56s
Support for JML\TYPE (#3465) CodeQuality #31: Commit cf1d6cb pushed by Drodt
May 2, 2024 07:41 8m 48s main
main
May 2, 2024 07:41 8m 48s
Cleanup of declaration of taclet options (#3408) CodeQuality #30: Commit 9cc569c pushed by Drodt
April 5, 2024 15:31 10m 4s main
main
April 5, 2024 15:31 10m 4s
Bump org.ow2.asm:asm from 9.6 to 9.7 (#3450) CodeQuality #29: Commit cde763f pushed by Drodt
March 27, 2024 07:27 8m 48s main
main
March 27, 2024 07:27 8m 48s
Bump ch.qos.logback:logback-classic from 1.5.0 to 1.5.3 (#3435) CodeQuality #28: Commit c3b3268 pushed by Drodt
March 11, 2024 11:56 7m 32s main
main
March 11, 2024 11:56 7m 32s
Generalizing Logic Data Structures (#3357) CodeQuality #27: Commit 9ad6cc8 pushed by Drodt
March 5, 2024 11:10 7m 28s main
main
March 5, 2024 11:10 7m 28s
added checkbox to disable example loader directly in dialog (#3424) CodeQuality #26: Commit 573c82c pushed by Drodt
March 5, 2024 08:25 8m 16s main
main
March 5, 2024 08:25 8m 16s
Bump com.diffplug.spotless from 6.23.3 to 6.24.0 (#3387) CodeQuality #25: Commit 5b08998 pushed by Drodt
January 29, 2024 09:51 8m 55s main
main
January 29, 2024 09:51 8m 55s
A new grammar for configuration (#3099) CodeQuality #24: Commit 2d9f36c pushed by Drodt
November 20, 2023 08:23 7m 2s main
main
November 20, 2023 08:23 7m 2s
Improve thread-safety of KeY (#3335) CodeQuality #23: Commit ac66700 pushed by Drodt
November 14, 2023 12:36 8m 3s main
main
November 14, 2023 12:36 8m 3s
Print real condition in if labels (#3222) CodeQuality #22: Commit f9f3fff pushed by Drodt
November 6, 2023 10:20 6m 54s main
main
November 6, 2023 10:20 6m 54s
Fix JavaDoc errors (#3329) CodeQuality #21: Commit b3b9778 pushed by Drodt
October 30, 2023 09:40 16m 50s main
main
October 30, 2023 09:40 16m 50s
Regression test for fixed issue #3286 (#3308) CodeQuality #20: Commit ca0c522 pushed by unp1
October 21, 2023 10:34 24m 31s main
main
October 21, 2023 10:34 24m 31s
Fixes several issues in the new AST term structures CodeQuality #19: Pull request #7 opened by unp1
October 21, 2023 10:29 6h 5m 29s severalFixes
severalFixes
October 21, 2023 10:29 6h 5m 29s
Several fixes for the modality class CodeQuality #18: Pull request #6 opened by unp1
October 21, 2023 10:27 13m 14s severalFixes
severalFixes
October 21, 2023 10:27 13m 14s
Fixed several issues with modalities and rebased on current main CodeQuality #17: Pull request #5 opened by unp1
October 21, 2023 10:17 18m 24s fixedIssuesAndRebased
fixedIssuesAndRebased
October 21, 2023 10:17 18m 24s
Improve enforcement of Java AST immutability CodeQuality #16: Pull request #4 opened by unp1
October 21, 2023 09:36 9m 56s KeYProject:javaASTImmutability
KeYProject:javaASTImmutability
October 21, 2023 09:36 9m 56s