Skip to content

Actions: ontologyportal/sigmakee

Actions

Qodana

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
qodana_code_quality.yml
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows Qodana #54: Pull request #123 opened by dependabot bot
September 3, 2024 22:22 3m 43s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 3, 2024 22:22 3m 43s
fixed translation of some TFA math functions Qodana #53: Commit a6be26e pushed by apease
August 27, 2024 18:26 3m 50s master
master
August 27, 2024 18:26 3m 50s
refactor Qodana #52: Commit 05082e6 pushed by apease
August 4, 2024 22:37 4m 40s master
master
August 4, 2024 22:37 4m 40s
add command line interface, formatting changes Qodana #51: Commit 226d889 pushed by apease
July 31, 2024 19:32 4m 34s master
master
July 31, 2024 19:32 4m 34s
add today's date to statistics Qodana #50: Commit 4187de4 pushed by apease
July 31, 2024 16:11 4m 43s master
master
July 31, 2024 16:11 4m 43s
remove obsolete vampire param Qodana #49: Commit f94f265 pushed by apease
July 24, 2024 23:12 4m 24s master
master
July 24, 2024 23:12 4m 24s
Merge remote-tracking branch 'refs/remotes/origin/master' Qodana #48: Commit 4f977b4 pushed by apease
July 22, 2024 21:47 4m 28s master
master
July 22, 2024 21:47 4m 28s
Merge pull request #122 from toutsos/macos-instructions-fix Qodana #47: Commit 4f6d3ab pushed by apease
July 18, 2024 04:28 4m 26s master
master
July 18, 2024 04:28 4m 26s
Fix some issues withe the MACOS Instructions Qodana #46: Pull request #122 opened by toutsos
July 18, 2024 04:24 3m 47s toutsos:macos-instructions-fix
toutsos:macos-instructions-fix
July 18, 2024 04:24 3m 47s
fix another status message Qodana #45: Commit 9fe6279 pushed by apease
July 15, 2024 00:09 4m 28s master
master
July 15, 2024 00:09 4m 28s
fix status messages that appeared in output without a comment char Qodana #44: Commit 74df67e pushed by apease
July 14, 2024 23:07 4m 16s master
master
July 14, 2024 23:07 4m 16s
fix overly aggressive exclusion of formulas Qodana #43: Commit 43147db pushed by apease
July 14, 2024 19:54 4m 22s master
master
July 14, 2024 19:54 4m 22s
updated manual Qodana #42: Commit fd64d8e pushed by apease
July 14, 2024 14:44 4m 20s master
master
July 14, 2024 14:44 4m 20s
put THF modal type in header Qodana #41: Commit 6944c38 pushed by apease
July 11, 2024 22:47 4m 10s master
master
July 11, 2024 22:47 4m 10s
fix types and header Qodana #40: Commit 4c116b7 pushed by apease
July 8, 2024 22:52 4m 10s master
master
July 8, 2024 22:52 4m 10s
remove debugging printouts Qodana #39: Commit 12e9639 pushed by apease
July 7, 2024 20:50 4m 6s master
master
July 7, 2024 20:50 4m 6s
add World type. Translator works for tinyHOL now without errors Qodana #38: Commit e80d4cc pushed by apease
July 6, 2024 21:03 4m 3s master
master
July 6, 2024 21:03 4m 3s
updated call to Modals Qodana #37: Commit 5647b32 pushed by apease
July 6, 2024 01:35 3m 48s master
master
July 6, 2024 01:35 3m 48s
add type defs for THF and TFF Qodana #36: Commit dff03ed pushed by apease
March 1, 2024 01:14 1m 9s master
master
March 1, 2024 01:14 1m 9s
remove optional universal quantifiers Qodana #35: Commit 7cb3eb8 pushed by apease
February 27, 2024 21:25 1m 43s master
master
February 27, 2024 21:25 1m 43s