robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
builder-web/lib/model.mli

96 lines
4.3 KiB
OCaml
Raw Normal View History

Store files on disk
2021-01-21 16:51:58 +00:00
type error = [ Caqti_error.call_or_retrieve | `Not_found | `File_error of Fpath.t | `Msg of string ]
Initial commit
2020-12-02 13:33:15 +00:00
Implement sqlite database backed builder-web
2021-01-08 12:47:17 +00:00
val pp_error : Format.formatter -> error -> unit
Implement meta data caching Also print builds by their start time instead of UUID
2020-12-07 14:43:54 +00:00
Generate opam compare links only for successful builds
2021-06-02 13:05:10 +00:00
val not_found : 'a option -> ('a, [> error ]) result Lwt.t
Filesystem transactions and cleanup
2021-03-24 13:49:23 +00:00
val staging : Fpath.t -> Fpath.t
val cleanup_staging : Fpath.t -> Caqti_lwt.connection ->
More precise error type information
2021-06-01 08:33:35 +00:00
(unit, [> `Msg of string ]) result Lwt.t
Filesystem transactions and cleanup
2021-03-24 13:49:23 +00:00
Do not read file if not modified
2021-06-05 06:13:46 +00:00
val build_artifact : Uuidm.t -> Fpath.t -> Caqti_lwt.connection ->
(Builder_db.file, [> error ]) result Lwt.t
Add /job/<job>/build/<build>/main-binary redirect endpoint Fixes #52
2021-09-08 09:10:30 +00:00
val build_artifact_by_id : [`build_artifact] Builder_db.id -> Caqti_lwt.connection ->
(Builder_db.file, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Do not read file if not modified
2021-06-05 06:13:46 +00:00
val build_artifact_data : Fpath.t -> Builder_db.file ->
(string, [> error ]) result Lwt.t
Add SHA256 & SHA512 digests of build artifacts
2020-12-14 07:18:13 +00:00
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
val build_artifacts : [`build] Builder_db.id -> Caqti_lwt.connection ->
More precise error type information
2021-06-01 08:33:35 +00:00
(Builder_db.file list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Initial commit
2020-12-02 13:33:15 +00:00
Show builds by platform
2021-11-08 10:55:11 +00:00
val platforms_of_job : [`job] Builder_db.id -> Caqti_lwt.connection ->
(string list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Implement sqlite database backed builder-web
2021-01-08 12:47:17 +00:00
val build : Uuidm.t -> Caqti_lwt.connection ->
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
([`build] Builder_db.id * Builder_db.Build.t, [> error ]) result Lwt.t
Implement meta data caching Also print builds by their start time instead of UUID
2020-12-07 14:43:54 +00:00
Show builds by platform
2021-11-08 10:55:11 +00:00
val build_with_main_binary : [`job] Builder_db.id -> string -> Caqti_lwt.connection ->
WIP
2021-08-31 11:59:45 +00:00
((Builder_db.Build.t * Builder_db.file option) option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Show latest build info in jobs view This does N+1 queries where N is the number of jobs.
2021-01-29 13:34:56 +00:00
Add /hash/:hash endpoint It looks up the given hash and finds the latest build producing an artifact with this hash.
2021-02-02 08:34:21 +00:00
val build_hash : Cstruct.t -> Caqti_lwt.connection ->
More precise error type information
2021-06-01 08:33:35 +00:00
((string * Builder_db.Build.t) option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Add /hash/:hash endpoint It looks up the given hash and finds the latest build producing an artifact with this hash.
2021-02-02 08:34:21 +00:00
Also add the new function to the interface...
2021-01-22 13:21:15 +00:00
val build_exists : Uuidm.t -> Caqti_lwt.connection ->
More precise error type information
2021-06-01 08:33:35 +00:00
(bool, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Also add the new function to the interface...
2021-01-22 13:21:15 +00:00
Show builds by platform
2021-11-08 10:55:11 +00:00
val latest_successful_build_uuid : [`job] Builder_db.id -> string option -> Caqti_lwt.connection ->
Generate opam compare links only for successful builds
2021-06-02 13:05:10 +00:00
(Uuidm.t option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Add /build/latest/ redirect
2021-06-02 12:23:40 +00:00
Show builds by platform
2021-11-08 10:55:11 +00:00
val previous_successful_build_uuid : [`build] Builder_db.id -> Caqti_lwt.connection ->
(Uuidm.t option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
val next_successful_build_uuid : [`build] Builder_db.id -> Caqti_lwt.connection ->
(Uuidm.t option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Link to opam diff Compare with latest build as well as previous build.
2021-04-23 13:00:12 +00:00
Work towards failed-builds page
2021-11-17 14:02:04 +00:00
val failed_builds : string option -> Caqti_lwt.connection ->
(Builder_db.Build.t list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
in /job/:job/build/:build output links to: - builds that reproduced the binary with the same inputs - builds that reproduced the binary with different inputs (only one for each input_id) - builds with same input that produced a different output /job/:job group by hash
2021-07-08 11:33:27 +00:00
val builds_with_different_input_and_same_main_binary : [`build] Builder_db.id -> Caqti_lwt.connection ->
WIP
2021-08-31 11:59:45 +00:00
(Builder_db.Build.t list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
in /job/:job/build/:build output links to: - builds that reproduced the binary with the same inputs - builds that reproduced the binary with different inputs (only one for each input_id) - builds with same input that produced a different output /job/:job group by hash
2021-07-08 11:33:27 +00:00
val builds_with_same_input_and_same_main_binary : [`build] Builder_db.id -> Caqti_lwt.connection ->
WIP
2021-08-31 11:59:45 +00:00
(Builder_db.Build.t list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
in /job/:job/build/:build output links to: - builds that reproduced the binary with the same inputs - builds that reproduced the binary with different inputs (only one for each input_id) - builds with same input that produced a different output /job/:job group by hash
2021-07-08 11:33:27 +00:00
val builds_with_same_input_and_different_main_binary : [`build] Builder_db.id -> Caqti_lwt.connection ->
WIP
2021-08-31 11:59:45 +00:00
(Builder_db.Build.t list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Migration code, model aware of main binary Sqlite3 application_id and user_version are now set to identify the database is a builder-web database, and the user_version represents the schema version. The 'build' table is extended with a 'main_binary' column. This represents the main binary artifact from the build. This is decided by there being exactly one file in bin/. A migration tool is written that does both migrations and rollbacks, and migration and rollback is implemented for the above mentioned change.
2021-01-27 20:25:51 +00:00
Re-add viewing build script and build console Instead of displaying the script and console output in the build page the build page links to new endpoints for viewing the script and the console output.
2021-09-09 16:06:08 +00:00
val build_console_by_uuid : Fpath.t -> Uuidm.t -> Caqti_lwt.connection ->
(string, [> error ]) result Lwt.t
val build_script_by_uuid : Fpath.t -> Uuidm.t -> Caqti_lwt.connection ->
(string, [> error ]) result Lwt.t
render README from latest build (preserved as a tag value in job_tag table)
2021-06-30 12:47:30 +00:00
val readme : string -> Caqti_lwt.connection ->
(string option, [> error ]) result Lwt.t
val job_and_readme : string -> Caqti_lwt.connection ->
Show builds by platform
2021-11-08 10:55:11 +00:00
([`job] Builder_db.id * string option, [> error ]) result Lwt.t
val builds_grouped_by_output : [`job] Builder_db.id -> string option -> Caqti_lwt.connection ->
((Builder_db.Build.t * Builder_db.file option) list, [> error ]) result Lwt.t
Implement meta data caching Also print builds by their start time instead of UUID
2020-12-07 14:43:54 +00:00
Generate opam compare links only for successful builds
2021-06-02 13:05:10 +00:00
val job_id : string -> Caqti_lwt.connection ->
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
([`job] Builder_db.id option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Generate opam compare links only for successful builds
2021-06-02 13:05:10 +00:00
add tags to jobs: section and synopsis, inferred from the latest successful build
2021-06-29 14:59:08 +00:00
val jobs_with_section_synopsis : Caqti_lwt.connection ->
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
(([`job] Builder_db.id * string * string option * string option) list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
add tags to jobs: section and synopsis, inferred from the latest successful build
2021-06-29 14:59:08 +00:00
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
val job_name : [`job] Builder_db.id -> Caqti_lwt.connection ->
More precise error type information
2021-06-01 08:33:35 +00:00
(string, [> Caqti_error.call_or_retrieve ]) result Lwt.t
Link back to builds when comparing
2021-02-15 10:48:10 +00:00
User authentication and upload endpoint
2021-01-20 21:50:35 +00:00
val user : string -> Caqti_lwt.connection ->
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
(([`user] Builder_db.id * Builder_web_auth.scrypt Builder_web_auth.user_info) option, [> Caqti_error.call_or_retrieve ]) result Lwt.t
User authentication and upload endpoint
2021-01-20 21:50:35 +00:00
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
val authorized : [`user] Builder_db.id -> string -> Caqti_lwt.connection -> (unit, [> Caqti_error.call_or_retrieve | `Msg of string ]) result Lwt.t
User authentication and upload endpoint
2021-01-20 21:50:35 +00:00
val add_build :
Store files on disk
2021-01-21 16:51:58 +00:00
Fpath.t ->
Typed database IDs (#47) Typed database IDs Reviewed-on: https://git.robur.io/robur/builder-web/pulls/47 Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Committed-By: Reynir Björnsson <reynir@reynir.dk>
2021-07-05 12:45:08 +00:00
[`user] Builder_db.id ->
adapt to builder changes (job -> script_job)
2021-06-25 16:43:47 +00:00
(Builder.script_job * Uuidm.t * (int * string) list * Ptime.t * Ptime.t *
User authentication and upload endpoint
2021-01-20 21:50:35 +00:00
Builder.execution_result * (Fpath.t * string) list) ->
Caqti_lwt.connection ->
More precise error type information
2021-06-01 08:33:35 +00:00
(unit, [> Caqti_error.call_or_retrieve | `Msg of string ]) result Lwt.t
Copy permalink