ci-actions/trigger/notify.yml at master · seL4/ci-actions · GitHub

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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause

---

# --- GENERATED -- DO NOT EDIT
# run ./gen-notify.py to regenerate this file

cakeml_libs:
- camkes-tool
camkes:
- camkes-tool
camkes-tool:
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
camkes-vm:
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
camkes-vm-images:
- camkes-vm-examples
- sel4webserver
camkes-vm-linux:
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
capdl:
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
global-components:
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
graph-refine:
- l4v
hol:
- l4v
isabelle:
- l4v
libzmq:
- camkes-vm-examples
lwip:
- camkes-tool
- camkes-vm-examples
musllibc:
- seL4
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
nanopb:
- seL4
- sel4bench
opensbi:
- seL4
- sel4bench
- camkes-tool
picotcp:
- camkes-tool
- camkes-vm-examples
polly:
- camkes-vm-examples
- sel4-tutorials
polyml:
- l4v
projects_libs:
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
pruner:
- camkes-tool
rumprun:
- camkes-tool
sel4:
- l4v
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
sel4_libs:
- seL4
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
sel4_projects_libs:
- seL4
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
sel4_tools:
- seL4
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
sel4runtime:
- seL4
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver
sel4test:
- seL4
util_libs:
- seL4
- sel4bench
- camkes-tool
- camkes-vm-examples
- sel4-tutorials
- sel4webserver