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

90 lines
3.9 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
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
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_meta : [`job] Builder_db.id -> 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
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 latest_build_uuid : [`job] Builder_db.id -> Caqti_lwt.connection ->
Link to opam diff Compare with latest build as well as previous build.
2021-04-23 13:00:12 +00:00
(Uuidm.t, [> error ]) result Lwt.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
val latest_successful_build_uuid : [`job] Builder_db.id -> 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
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 previous_successful_build : [`build] Builder_db.id -> Caqti_lwt.connection ->
WIP
2021-08-31 11:59:45 +00:00
(Builder_db.Build.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
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 ->
WIP
2021-08-31 11:59:45 +00:00
(string option * (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
Implement sqlite database backed builder-web
2021-01-08 12:47:17 +00:00
val jobs : 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) list, [> Caqti_error.call_or_retrieve ]) result Lwt.t
User authentication and upload endpoint
2021-01-20 21:50:35 +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