Skip to content

Print job ids to file#380

Merged
forsyth2 merged 1 commit intomainfrom
issue-117-print-ids
Dec 7, 2022
Merged

Print job ids to file#380
forsyth2 merged 1 commit intomainfrom
issue-117-print-ids

Conversation

@forsyth2
Copy link
Collaborator

@forsyth2 forsyth2 commented Dec 7, 2022

Print job ids to file. Resolves #117.

@forsyth2 forsyth2 added the priority: low Low priority task label Dec 7, 2022
@forsyth2 forsyth2 self-assigned this Dec 7, 2022
@forsyth2 forsyth2 force-pushed the issue-117-print-ids branch 2 times, most recently from c05b08e to 445ad7b Compare December 7, 2022 22:02
@forsyth2 forsyth2 force-pushed the issue-117-print-ids branch from 445ad7b to f46388e Compare December 7, 2022 22:18
@forsyth2 forsyth2 merged commit 72e4f67 into main Dec 7, 2022
@forsyth2 forsyth2 deleted the issue-117-print-ids branch December 7, 2022 22:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: low Low priority task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

List job IDs

1 participant