Skip to content

Downgrade to Checker Framework 3.40.0 #2008

Downgrade to Checker Framework 3.40.0

Downgrade to Checker Framework 3.40.0 #2008

Triggered via pull request January 13, 2024 23:09
Status Success
Total duration 7m 33s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

continuous-integration.yml

on: pull_request
Matrix: build
Publish snapshot
0s
Publish snapshot
Fit to window
Zoom out
Zoom in