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.39-eisop1 from 3.34-eisop1 (#439) CI #676: Commit e740339 pushed by wmdietl
April 7, 2024 22:02 10m 18s master
master
April 7, 2024 22:02 10m 18s
Features to enable PICO CI #675: Pull request #442 synchronize by Ao-senXiong
April 7, 2024 18:37 5m 22s Ao-senXiong:local-features
Ao-senXiong:local-features
April 7, 2024 18:37 5m 22s
Remove no longer useful link CI #674: Pull request #443 opened by Ao-senXiong
April 7, 2024 17:18 10m 17s Ao-senXiong:remove-link
Ao-senXiong:remove-link
April 7, 2024 17:18 10m 17s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #673: Pull request #439 synchronize by Ao-senXiong
April 7, 2024 16:02 10m 22s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
April 7, 2024 16:02 10m 22s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #672: Pull request #439 synchronize by Ao-senXiong
April 7, 2024 15:39 9m 40s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
April 7, 2024 15:39 9m 40s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #671: Pull request #439 synchronize by Ao-senXiong
April 7, 2024 15:27 9m 45s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
April 7, 2024 15:27 9m 45s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #670: Pull request #439 synchronize by Ao-senXiong
April 7, 2024 14:58 11m 20s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
April 7, 2024 14:58 11m 20s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #669: Pull request #439 synchronize by Ao-senXiong
April 7, 2024 14:55 10m 35s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
April 7, 2024 14:55 10m 35s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #668: Pull request #439 synchronize by Ao-senXiong
April 6, 2024 05:13 10m 47s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
April 6, 2024 05:13 10m 47s
Features to enable PICO CI #667: Pull request #442 opened by Ao-senXiong
April 5, 2024 13:13 10m 42s Ao-senXiong:local-features
Ao-senXiong:local-features
April 5, 2024 13:13 10m 42s
Update to EISOP 3.40-eisop1 from 3.39-eisop1 CI #666: Pull request #441 opened by Ao-senXiong
April 5, 2024 03:35 9m 36s Ao-senXiong:checker-framework-3.40.0-eisop1
Ao-senXiong:checker-framework-3.40.0-eisop1
April 5, 2024 03:35 9m 36s
Replace deprecated script with gradlew CI #665: Pull request #440 opened by Ao-senXiong
April 2, 2024 20:24 12m 5s Ao-senXiong:fix-depreation-script
Ao-senXiong:fix-depreation-script
April 2, 2024 20:24 12m 5s
Added GeneticMaxSatSolver CI #664: Pull request #382 synchronize by Ao-senXiong
April 2, 2024 14:55 10m 31s piyush-J:genetic-maxsat
piyush-J:genetic-maxsat
April 2, 2024 14:55 10m 31s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #663: Pull request #439 synchronize by Ao-senXiong
March 31, 2024 04:32 10m 36s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
March 31, 2024 04:32 10m 36s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #662: Pull request #439 synchronize by Ao-senXiong
March 29, 2024 19:36 7m 52s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
March 29, 2024 19:36 7m 52s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #661: Pull request #439 synchronize by Ao-senXiong
March 29, 2024 19:18 12m 29s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
March 29, 2024 19:18 12m 29s
Update to EISOP 3.39-eisop1 from 3.34-eisop1 CI #660: Pull request #439 opened by Ao-senXiong
March 29, 2024 19:14 1m 32s Ao-senXiong:checker-framework-3.39.0-eisop1
Ao-senXiong:checker-framework-3.39.0-eisop1
March 29, 2024 19:14 1m 32s
Update to EISOP 3.34-eisop1 from 3.32-eisop1 (#437) CI #659: Commit f804e02 pushed by wmdietl
March 28, 2024 15:24 12m 58s master
master
March 28, 2024 15:24 12m 58s
Update to EISOP 3.34-eisop1 from 3.32-eisop1 CI #658: Pull request #437 synchronize by Ao-senXiong
March 22, 2024 03:09 9m 37s Ao-senXiong:checker-framework-3.34.0-eisop1
Ao-senXiong:checker-framework-3.34.0-eisop1
March 22, 2024 03:09 9m 37s
Update to EISOP 3.34-eisop1 from 3.32-eisop1 CI #657: Pull request #437 synchronize by Ao-senXiong
March 22, 2024 03:09 18m 19s Ao-senXiong:checker-framework-3.34.0-eisop1
Ao-senXiong:checker-framework-3.34.0-eisop1
March 22, 2024 03:09 18m 19s
Update to EISOP 3.34-eisop1 from 3.32-eisop1 CI #656: Pull request #437 synchronize by Ao-senXiong
March 22, 2024 03:08 11m 10s Ao-senXiong:checker-framework-3.34.0-eisop1
Ao-senXiong:checker-framework-3.34.0-eisop1
March 22, 2024 03:08 11m 10s
Update to EISOP 3.34-eisop1 from 3.32-eisop1 CI #655: Pull request #437 synchronize by Ao-senXiong
March 22, 2024 03:04 18m 5s Ao-senXiong:checker-framework-3.34.0-eisop1
Ao-senXiong:checker-framework-3.34.0-eisop1
March 22, 2024 03:04 18m 5s
Update to EISOP 3.34-eisop1 from 3.32-eisop1 CI #654: Pull request #437 synchronize by Ao-senXiong
March 22, 2024 03:01 9m 39s Ao-senXiong:checker-framework-3.34.0-eisop1
Ao-senXiong:checker-framework-3.34.0-eisop1
March 22, 2024 03:01 9m 39s
Remove use of deprecated method and use the one in CF (#438) CI #653: Commit 7b587d4 pushed by wmdietl
March 22, 2024 02:47 10m 19s master
master
March 22, 2024 02:47 10m 19s
Remove use of deprecated method and use the one in CF CI #652: Pull request #438 synchronize by Ao-senXiong
March 22, 2024 00:59 10m 46s Ao-senXiong:fix-deprecation
Ao-senXiong:fix-deprecation
March 22, 2024 00:59 10m 46s