Mirror to JSC

Merge pull request #3045 from JanVogelsang/clion-ide #8

Sign in to view logs

Summary
Jobs
- sync_to_jsc
Run details
- Usage
- Workflow file

Triggered via push January 13, 2024 15:58

gtrensch

master

Status Skipped

Total duration 3s

Artifacts –

jsc-push.yml

on: push