Adding Zippers implementation and verification, and some benchmarks #75
Triggered via pull request
December 12, 2024 10:27
samuelchassot
Status
Startup failure
Total duration
–
Artifacts
–
bolts-CI.yml
on: pull_request
fail_if_pull_request_is_draft
tests
Annotations
1 error
|
Invalid workflow file:
.github/workflows/bolts-CI.yml#L16
The workflow is not valid. .github/workflows/bolts-CI.yml (Line: 16, Col: 7): 'JAVA_OPTS_TMP_DIR' is already defined
|