Skip to content

Actions: opprop/checker-framework-inference

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to EISOP 3.42-eisop4 from 3.42-eisop3
CI #726: Pull request #451 synchronize by Ao-senXiong
September 30, 2024 21:06 10m 43s cf-3.42.0-eisop4
September 30, 2024 21:06 10m 43s
Update to EISOP 3.42-eisop4 from 3.42-eisop3
CI #724: Pull request #451 synchronize by Ao-senXiong
August 30, 2024 19:05 11m 27s cf-3.42.0-eisop4
August 30, 2024 19:05 11m 27s
Build CFI on Java 21
CI #723: Pull request #453 synchronize by Ao-senXiong
August 30, 2024 19:03 11m 14s Build-on-Java-21
August 30, 2024 19:03 11m 14s
Build CFI on Java 21
CI #721: Pull request #453 synchronize by Ao-senXiong
August 29, 2024 21:14 11m 21s Build-on-Java-21
August 29, 2024 21:14 11m 21s
Build CFI on Java 21
CI #720: Pull request #453 synchronize by Ao-senXiong
August 29, 2024 20:53 20m 55s Build-on-Java-21
August 29, 2024 20:53 20m 55s
Build CFI on Java 21
CI #719: Pull request #453 opened by Ao-senXiong
August 29, 2024 20:53 15m 28s Build-on-Java-21
August 29, 2024 20:53 15m 28s
Update to gradle v8.10 (#452)
CI #718: Commit 2b6e1d9 pushed by Ao-senXiong
August 29, 2024 20:50 11m 16s master
August 29, 2024 20:50 11m 16s
Update Gradle to 8.10
CI #717: Pull request #452 opened by Ao-senXiong
August 29, 2024 20:35 11m 3s gradle-8.10
August 29, 2024 20:35 11m 3s
Update to EISOP 3.42-eisop4 from 3.42-eisop3
CI #716: Pull request #451 synchronize by Ao-senXiong
August 2, 2024 21:02 11m 6s cf-3.42.0-eisop4
August 2, 2024 21:02 11m 6s
Features to enable PICO
CI #714: Pull request #444 synchronize by Ao-senXiong
June 27, 2024 20:08 12m 53s Ao-senXiong:PICO-pull-in
June 27, 2024 20:08 12m 53s
Use git-scripts in addition to plume-scripts (#450)
CI #711: Commit d4ca1ed pushed by Ao-senXiong
June 27, 2024 19:53 11m 1s master
June 27, 2024 19:53 11m 1s
Use git-scripts in addition to plume-scripts
CI #710: Pull request #450 synchronize by Ao-senXiong
June 27, 2024 19:13 10m 50s git-scripts
June 27, 2024 19:13 10m 50s
Use git-scripts in addition to plume-scripts
CI #709: Pull request #450 opened by Ao-senXiong
June 27, 2024 18:53 10m 29s git-scripts
June 27, 2024 18:53 10m 29s
Use eisop plume lib (#448)
CI #707: Commit f0b3c9f pushed by Ao-senXiong
June 23, 2024 20:18 11m 12s master
June 23, 2024 20:18 11m 12s
Use eisop plume lib first
CI #705: Pull request #448 opened by Ao-senXiong
May 11, 2024 21:52 11m 19s use-eisop-plume-lib
May 11, 2024 21:52 11m 19s
Features to enable PICO
CI #704: Pull request #444 synchronize by Ao-senXiong
April 24, 2024 17:11 11m 3s Ao-senXiong:PICO-pull-in
April 24, 2024 17:11 11m 3s
Features to enable PICO
CI #703: Pull request #444 synchronize by Ao-senXiong
April 24, 2024 16:55 6m 21s Ao-senXiong:PICO-pull-in
April 24, 2024 16:55 6m 21s
Features to enable PICO
CI #702: Pull request #444 synchronize by Ao-senXiong
April 24, 2024 16:51 6m 12s Ao-senXiong:PICO-pull-in
April 24, 2024 16:51 6m 12s