Skip to content

Actions: opprop/ontology

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to latest EISOP CI #178: Pull request #115 opened by Ao-senXiong
September 18, 2023 16:10 7m 12s Ao-senXiong:eisop
Ao-senXiong:eisop
September 18, 2023 16:10 7m 12s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.20.0 to 6.21… CI #177: Commit b879c05 pushed by wmdietl
August 31, 2023 20:01 15m 56s master
master
August 31, 2023 20:01 15m 56s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.20.0 to 6.21.0 CI #176: Pull request #114 opened by dependabot bot
August 30, 2023 04:21 14m 14s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-6.21.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-6.21.0
August 30, 2023 04:21 14m 14s
Bump com.google.errorprone:error_prone_core from 2.21.0 to 2.21.1 (#113) CI #175: Commit ca19bbe pushed by wmdietl
August 8, 2023 00:42 11m 38s master
master
August 8, 2023 00:42 11m 38s
Bump com.google.errorprone:error_prone_core from 2.21.0 to 2.21.1 CI #174: Pull request #113 opened by dependabot bot
August 7, 2023 04:20 12m 23s dependabot/gradle/com.google.errorprone-error_prone_core-2.21.1
dependabot/gradle/com.google.errorprone-error_prone_core-2.21.1
August 7, 2023 04:20 12m 23s
Workaround for the logic issue of AnnotatedTypes.asMemberOf CI #173: Pull request #50 synchronize by wmdietl
August 2, 2023 17:33 3m 30s d367wang:check-constructor-result
d367wang:check-constructor-result
August 2, 2023 17:33 3m 30s
Add checked default for inference annotated type factory CI #172: Pull request #53 synchronize by wmdietl
August 2, 2023 17:33 4m 43s d367wang:unsat-verify
d367wang:unsat-verify
August 2, 2023 17:33 4m 43s
Update to spotless 6.20 and reformat files (#112) CI #171: Commit 205dd10 pushed by wmdietl
August 2, 2023 17:32 14m 16s master
master
August 2, 2023 17:32 14m 16s
Update to spotless 6.20 and reformat files CI #170: Pull request #112 opened by wmdietl
August 2, 2023 17:16 15m 31s spotless-6.20
spotless-6.20
August 2, 2023 17:16 15m 31s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.18.0 to 6.20.0 CI #169: Pull request #110 synchronize by dependabot bot
August 2, 2023 17:03 7m 27s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-6.20.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-6.20.0
August 2, 2023 17:03 7m 27s
Bump com.google.errorprone:error_prone_core from 2.20.0 to 2.21.0 (#111) CI #168: Commit ce78b27 pushed by wmdietl
August 2, 2023 17:03 13m 25s master
master
August 2, 2023 17:03 13m 25s
Bump com.google.errorprone:error_prone_core from 2.20.0 to 2.21.0 CI #167: Pull request #111 opened by dependabot bot
August 2, 2023 04:44 12m 28s dependabot/gradle/com.google.errorprone-error_prone_core-2.21.0
dependabot/gradle/com.google.errorprone-error_prone_core-2.21.0
August 2, 2023 04:44 12m 28s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.18.0 to 6.20.0 CI #166: Pull request #110 opened by dependabot bot
July 18, 2023 04:34 6m 52s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-6.20.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-6.20.0
July 18, 2023 04:34 6m 52s