This repository has been archived by the owner on Jun 28, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathJob.dhall
90 lines (88 loc) · 3.05 KB
/
Job.dhall
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
let BuildLogRetentionPolicy =
{ Type =
{ days : Optional Natural
, builds : Optional Natural
, minimum_succeeded_builds : Optional Natural
}
, default =
{ days = None Natural
, builds = None Natural
, minimum_succeeded_builds = None Natural
}
}
let Job
: ∀ ( _params
: { plan : Type
, on_success : Type
, on_failure : Type
, on_abort : Type
, on_error : Type
, ensure : Type
}
) →
{ Type : Type
, BuildLogRetentionPolicy :
{ Type : Type, default : BuildLogRetentionPolicy.Type }
, default :
{ old_name : Optional Text
, serial : Optional Bool
, build_log_retention : Optional BuildLogRetentionPolicy.Type
, build_logs_to_retain : Optional Natural
, serial_groups : Optional (List Text)
, max_in_flight : Optional Natural
, public : Optional Bool
, disable_manual_trigger : Optional Bool
, interruptible : Optional Bool
, on_success : Optional _params.on_success
, on_failure : Optional _params.on_failure
, on_abort : Optional _params.on_abort
, on_error : Optional _params.on_error
, ensure : Optional _params.ensure
}
}
= λ ( _params
: { plan : Type
, on_success : Type
, on_failure : Type
, on_abort : Type
, on_error : Type
, ensure : Type
}
) →
{ Type =
{ name : Text
, plan : List _params.plan
, old_name : Optional Text
, serial : Optional Bool
, build_log_retention : Optional BuildLogRetentionPolicy.Type
, build_logs_to_retain : Optional Natural
, serial_groups : Optional (List Text)
, max_in_flight : Optional Natural
, public : Optional Bool
, disable_manual_trigger : Optional Bool
, interruptible : Optional Bool
, on_success : Optional _params.on_success
, on_failure : Optional _params.on_failure
, on_abort : Optional _params.on_abort
, on_error : Optional _params.on_error
, ensure : Optional _params.ensure
}
, default =
{ old_name = None Text
, serial = None Bool
, build_log_retention = None BuildLogRetentionPolicy.Type
, build_logs_to_retain = None Natural
, serial_groups = None (List Text)
, max_in_flight = None Natural
, public = None Bool
, disable_manual_trigger = None Bool
, interruptible = None Bool
, on_success = None _params.on_success
, on_failure = None _params.on_failure
, on_abort = None _params.on_abort
, on_error = None _params.on_error
, ensure = None _params.ensure
}
, BuildLogRetentionPolicy
}
in Job