Skip to content

Actions: eisop/checker-framework

CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
922 workflow runs
922 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daikon handling in CI, cleanups
CI tests #33: Pull request #830 synchronize by wmdietl
August 7, 2024 16:27 26m 21s azure-deps
August 7, 2024 16:27 26m 21s
Fix build for JDK 22+ (#823)
CI tests #32: Commit 61d8e8e pushed by wmdietl
August 7, 2024 16:10 56m 6s master
August 7, 2024 16:10 56m 6s
Daikon handling in CI, cleanups
CI tests #29: Pull request #830 opened by wmdietl
August 7, 2024 14:54 48m 14s azure-deps
August 7, 2024 14:54 48m 14s
Fix build for JDK 22+
CI tests #28: Pull request #823 synchronize by wmdietl
August 7, 2024 14:24 51m 13s cpovirk:twentytwo
August 7, 2024 14:24 51m 13s
Simplify the parameter checks for overrides.
CI tests #27: Pull request #829 synchronize by cpovirk
August 7, 2024 01:53 1h 2m 6s cpovirk:simplifyoverrideparamcheck
August 7, 2024 01:53 1h 2m 6s
Fix build for JDK 22+
CI tests #26: Pull request #823 synchronize by wmdietl
August 7, 2024 01:13 1h 17m 31s cpovirk:twentytwo
August 7, 2024 01:13 1h 17m 31s
Fix build for JDK 22+
CI tests #25: Pull request #823 synchronize by wmdietl
August 7, 2024 01:12 43m 42s cpovirk:twentytwo
August 7, 2024 01:12 43m 42s
Run CI tests directly in GitHub Actions (#825)
CI tests #24: Commit 913f115 pushed by wmdietl
August 7, 2024 01:11 1h 2m 21s master
August 7, 2024 01:11 1h 2m 21s
Run CI tests directly in GitHub Actions
CI tests #23: Pull request #825 synchronize by wmdietl
August 6, 2024 21:26 42m 38s github-actions
August 6, 2024 21:26 42m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-08-06 or the other filters available.