| app/graphql/types/search_result/global_scope/ranked_entry_type.rb | 14 | A 0 mins |
|
| app/graphql/types/search_result/global_scope_type.rb | 10 | A 0 mins |
|
| app/graphql/types/search_result_type.rb | 16 | A 0 mins |
|
| app/graphql/types/sentence_methods.rb | 34 | A 2 hrs |
|
| app/graphql/types/sentence_type.rb | 5 | A 0 mins |
|
| app/graphql/types/serialization_type.rb | 14 | A 0 mins |
|
| app/graphql/types/signature_morphism_type.rb | 28 | A 0 mins |
|
| app/graphql/types/signature_type.rb | 72 | A 1 hr |
|
| app/graphql/types/sine_premise_selection_type.rb | 57 | A 2 hrs |
|
| app/graphql/types/sine_symbol_commonness_type.rb | 16 | A 35 mins |
|
| app/graphql/types/sine_symbol_premise_trigger_type.rb | 22 | A 0 mins |
|
| app/graphql/types/symbol_mapping_type.rb | 14 | A 0 mins |
|
| app/graphql/types/symbol_origin_enum.rb | 7 | A 0 mins |
|
| app/graphql/types/symbol_type.rb | 55 | A 2 hrs |
|
| app/graphql/types/theorem_type.rb | 7 | A 20 mins |
|
| app/graphql/types/time_type.rb | 6 | A 0 mins |
|
| app/graphql/types/user/changeset_type.rb | 15 | A 0 mins |
|
| app/graphql/types/user/new_type.rb | 16 | A 0 mins |
|
| app/graphql/types/user/session_token_type.rb | 10 | A 0 mins |
|
| app/graphql/types/user_type.rb | 67 | B 4 hrs |
|
| app/graphql/types/version_type.rb | 17 | A 0 mins |
|
| app/graphql/types/warn_type.rb | 5 | A 0 mins |
|
| app/helpers/account_methods.rb | 17 | A 0 mins |
|
| app/helpers/file_lock_helper.rb | 13 | A 0 mins |
|
| app/helpers/git_helper.rb | 13 | A 0 mins |
|
| app/helpers/jwt_wrapper.rb | 34 | A 0 mins |
|
| app/jobs/application_job.rb | 2 | A 0 mins |
|
| app/jobs/indexing_job.rb | 5 | A 0 mins |
|
| app/jobs/post_process_hets_job.rb | 21 | A 0 mins |
|
| app/jobs/process_commit_job.rb | 20 | A 0 mins |
|
| app/jobs/repository_cloning_job.rb | 10 | A 0 mins |
|
| app/jobs/repository_pulling_job.rb | 9 | A 0 mins |
|
| app/jobs/repository_pulling_periodically_job.rb | 12 | A 0 mins |
|
| app/mailers/application_mailer.rb | 4 | A 0 mins |
|
| app/mailers/users_mailer.rb | 9 | A 0 mins |
|
| app/models/authentication_token.rb | 6 | A 0 mins |
|
| app/models/authorized_keys_file.rb | 30 | A 0 mins |
|
| app/models/git_directory.rb | 14 | A 0 mins |
|
| app/models/git_file.rb | 44 | A 0 mins |
|
| app/models/git_user.rb | 10 | A 0 mins |
|
| app/models/multi_blob.rb | 206 | D 1 day |
|
| app/models/repository_compound.rb | 77 | A 0 mins |
|
| app/models/search_result.rb | 42 | A 0 mins |
|
| app/models/version.rb | 54 | A 0 mins |
|
| app/policies/account_policy.rb | 11 | A 0 mins |
|
| app/policies/application_policy.rb | 55 | A 0 mins |
|
| app/policies/confirmation_policy.rb | 8 | A 0 mins |
|
| app/policies/consistency_check_attempt_policy.rb | 2 | A 0 mins |
|
| app/policies/document_policy.rb | 35 | A 0 mins |
|
| app/policies/generated_axiom_policy.rb | 5 | A 0 mins |
|