-
Notifications
You must be signed in to change notification settings - Fork 60
38 lines (34 loc) · 1.15 KB
/
allocate-definitive-ids.yml
File metadata and controls
38 lines (34 loc) · 1.15 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
name: Allocate definitive IDs
on:
push:
branches: [ master ]
paths:
- 'src/ontology/cl-edit.owl'
workflow_dispatch:
jobs:
assign_ids:
runs-on: ubuntu-latest
container: obolibrary/odkfull:v1.6
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: false
fetch-depth: 0
# Reallocate all temporary IDs as definitive IDs and rewrite
# axioms accordingly; this will have the side-effect of forcing a
# reserialisation of the -edit file if needed.
- name: Allocate definitive IDs
run: |
cd src/ontology
make allocate-definitive-ids
# Commit the changes; the 'push' action takes care of checking
# whether there are changes to commit at all, so if no IDs were
# reallocated (and no reserialisation was needed), nothing will
# happen here.
- name: Commit and push changes
uses: actions-js/push@v1.5
with:
github_token: ${{ secrets.ID_ALLOCATION_TOKEN }}
message: "Replace temporary IDs by definitive IDs and reserialize."
branch: ${{ github.ref }}