Skip to content

Actions: opprop/checker-framework-inference

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove no longer useful link CI #701: Pull request #443 synchronize by Ao-senXiong
April 21, 2024 17:08 10m 38s Ao-senXiong:remove-link
Ao-senXiong:remove-link
April 21, 2024 17:08 10m 38s
Use spotless and reformat code (#446) CI #700: Commit 214612f pushed by wmdietl
April 21, 2024 16:51 11m 3s master
master
April 21, 2024 16:51 11m 3s
Use spotless and reformat code CI #699: Pull request #446 synchronize by Ao-senXiong
April 21, 2024 00:09 11m 25s Ao-senXiong:spotless
Ao-senXiong:spotless
April 21, 2024 00:09 11m 25s
Replace deprecated script with gradlew (#440) CI #698: Commit f279c9b pushed by wmdietl
April 20, 2024 23:10 9m 47s master
master
April 20, 2024 23:10 9m 47s
Replace deprecated script with gradlew CI #697: Pull request #440 synchronize by wmdietl
April 20, 2024 23:00 10m 24s Ao-senXiong:fix-depreation-script
Ao-senXiong:fix-depreation-script
April 20, 2024 23:00 10m 24s
Override upperBound instead of leastUpperBound (#447) CI #696: Commit 938898f pushed by wmdietl
April 20, 2024 22:55 9m 24s master
master
April 20, 2024 22:55 9m 24s
Update to EISOP 3.41-eisop1 from 3.40-eisop2 CI #695: Pull request #447 opened by Ao-senXiong
April 18, 2024 23:48 10m 9s Ao-senXiong:checker-framework-3.41.0-eisop1
Ao-senXiong:checker-framework-3.41.0-eisop1
April 18, 2024 23:48 10m 9s
Display warning and outputs Failures CI #694: Pull request #262 synchronize by Ao-senXiong
April 18, 2024 17:04 10m 5s txiang61:display_warning
txiang61:display_warning
April 18, 2024 17:04 10m 5s
Use spotless and reformat code CI #693: Pull request #446 opened by Ao-senXiong
April 17, 2024 18:59 11m 23s Ao-senXiong:spotless
Ao-senXiong:spotless
April 17, 2024 18:59 11m 23s
Remove no longer useful link CI #692: Pull request #443 synchronize by Ao-senXiong
April 16, 2024 23:03 10m 28s Ao-senXiong:remove-link
Ao-senXiong:remove-link
April 16, 2024 23:03 10m 28s
Features to enable PICO CI #691: Pull request #444 synchronize by Ao-senXiong
April 13, 2024 22:55 10m 53s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
April 13, 2024 22:55 10m 53s
Replace deprecated script with gradlew CI #690: Pull request #440 synchronize by Ao-senXiong
April 12, 2024 03:10 15m 8s Ao-senXiong:fix-depreation-script
Ao-senXiong:fix-depreation-script
April 12, 2024 03:10 15m 8s
Replace deprecated script with gradlew CI #689: Pull request #440 synchronize by Ao-senXiong
April 12, 2024 03:10 10m 0s Ao-senXiong:fix-depreation-script
Ao-senXiong:fix-depreation-script
April 12, 2024 03:10 10m 0s
Use unqualified name in defaultErrorMessage (#445) CI #688: Commit 71cee10 pushed by wmdietl
April 11, 2024 23:06 10m 44s master
master
April 11, 2024 23:06 10m 44s
Features to enable PICO CI #687: Pull request #444 synchronize by Ao-senXiong
April 11, 2024 17:18 14m 58s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
April 11, 2024 17:18 14m 58s
Use unqualified name in defaultErrorMessage CI #686: Pull request #445 synchronize by Ao-senXiong
April 11, 2024 17:18 10m 26s Ao-senXiong:use-unq-name
Ao-senXiong:use-unq-name
April 11, 2024 17:18 10m 26s
Update to EISOP 3.40-eisop1 from 3.39-eisop1 (#441) CI #685: Commit 436378a pushed by wmdietl
April 11, 2024 14:19 10m 31s master
master
April 11, 2024 14:19 10m 31s
Use unqualified name in defaultErrorMessage CI #684: Pull request #445 opened by Ao-senXiong
April 9, 2024 18:14 10m 32s Ao-senXiong:use-unq-name
Ao-senXiong:use-unq-name
April 9, 2024 18:14 10m 32s
Added GeneticMaxSatSolver CI #683: Pull request #382 synchronize by Ao-senXiong
April 9, 2024 01:39 6m 10s piyush-J:genetic-maxsat
piyush-J:genetic-maxsat
April 9, 2024 01:39 6m 10s
Features to enable PICO CI #682: Pull request #444 opened by Ao-senXiong
April 8, 2024 06:10 10m 49s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
April 8, 2024 06:10 10m 49s
Features to enable PICO CI #681: Pull request #442 synchronize by Ao-senXiong
April 8, 2024 06:01 5m 43s Ao-senXiong:local-features
Ao-senXiong:local-features
April 8, 2024 06:01 5m 43s
Features to enable PICO CI #680: Pull request #442 synchronize by Ao-senXiong
April 8, 2024 05:09 5m 30s Ao-senXiong:local-features
Ao-senXiong:local-features
April 8, 2024 05:09 5m 30s
Update to EISOP 3.40-eisop1 from 3.39-eisop1 CI #679: Pull request #441 synchronize by Ao-senXiong
April 8, 2024 02:23 14m 17s Ao-senXiong:checker-framework-3.40.0-eisop1
Ao-senXiong:checker-framework-3.40.0-eisop1
April 8, 2024 02:23 14m 17s
Update to EISOP 3.40-eisop1 from 3.39-eisop1 CI #678: Pull request #441 synchronize by Ao-senXiong
April 8, 2024 02:05 13m 10s Ao-senXiong:checker-framework-3.40.0-eisop1
Ao-senXiong:checker-framework-3.40.0-eisop1
April 8, 2024 02:05 13m 10s
Remove no longer useful link CI #677: Pull request #443 synchronize by Ao-senXiong
April 8, 2024 01:26 10m 8s Ao-senXiong:remove-link
Ao-senXiong:remove-link
April 8, 2024 01:26 10m 8s