• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

alpha-asp / Alpha
84%

Build:
DEFAULT BRANCH: master
Repo Added 17 Sep 2017 09:42AM UTC
Files 217
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • add_simple_completion
  • additional_choice_nogoods
  • additional_choice_nogoods_alt
  • agg_plus_just
  • answer_set_formatting
  • arithmetic_term_rewriter
  • atom_counter
  • avoiding_integer_objects
  • bugfix_term_equality
  • cardinality_optimization
  • ci
  • citation
  • clause_minimization_local
  • codecov-v2
  • completion
  • completion_cli
  • completion_merge_issue211
  • conflict_generalisation
  • coveralls-badge
  • deprecate_old_heuristics
  • domspec_heuristics
  • domspec_heuristics_extended
  • domspec_heuristics_extended_merge_issue211
  • escaped_quotes
  • external_atom_libs
  • f22a97f4ad744ab8f5e47f615365887674f1bebe
  • fast-travis
  • fix_159
  • fix_239
  • fix_accumulator_flag_issue271
  • fix_interval_rewriting_issue277
  • forbid_lowercase_variable_terms
  • full_aggregate_support_review
  • github-actions
  • gradle-7.3
  • gradle7_compliancy
  • grounding_strategies
  • grounding_strategies_and_phase_saving_and_restarts
  • hotfix_datetime_leq
  • improve_grounder_selectivity
  • issue211
  • issue238
  • issue251
  • java-13
  • java-update
  • modularize_grounder
  • move_substitution_test
  • negated_externals
  • noGoodToString
  • phase_saving_and_restarts
  • phase_saving_and_restarts_fix_default_initial_phase
  • phase_saving_and_restarts_merge_master
  • program_part_parser
  • pubs
  • replay_counter_overflow
  • rtaupe_affil_aau
  • separate_logback_xmls
  • stdlib_externals
  • substitution_lazy_cloning
  • test/non-binding_vars
  • test_stratified_evaluation
  • tests_strat_eval_param
  • unit_test_support
  • update
  • update-readme
  • v0.5.0
  • weak_constraints
  • write_answersets_to_xlsx

pending completion
#1812

push

github-actions

web-flow
Merge pull request #313 from alpha-asp/ci

ci: Clean up GitHub Actions spec

6880 of 8199 relevant lines covered (83.91%)

0.84 hits per line

Relevant lines Covered
Build:
Build:
8199 RELEVANT LINES 6880 COVERED LINES
0.84 HITS PER LINE
Source Files on master
  • Tree
  • List 205
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#1812 master Merge pull request #313 from alpha-asp/ci ci: Clean up GitHub Actions spec push 30 Nov 2021 02:03PM UTC web-flow github-actions pending completion  
#1805 master Merge pull request #310 from alpha-asp/gradle-7.3 gradle: 7.0 -> 7.3 push 11 Nov 2021 12:36PM UTC web-flow github-actions pending completion  
#1795 master docs: Add 2020 papers to README.md (#299) Co-authored-by: Antonius Weinzierl <AntoniusW@users.noreply.github.com> push 06 Oct 2021 07:14AM UTC web-flow github-actions pending completion  
#1790 master Merge pull request #298 from alpha-asp/coveralls-badge Add coveralls.io badge push 02 Oct 2021 08:18PM UTC web-flow github-actions pending completion  
#1784 master Merge pull request #296 from alpha-asp/github-actions ci: Migrate to GitHub Actions push 29 Sep 2021 12:24PM UTC web-flow github-actions pending completion  
1172 master Merge pull request #263 from alpha-asp/arithmetic_term_rewriter Arithmetic term rewriter push 21 Apr 2021 01:30PM UTC web-flow travis-ci-com pending completion  
1167 master Merge pull request #279 from alpha-asp/fix_accumulator_flag_issue271 Fix accumulator flag in grounder being ignored push 16 Apr 2021 08:11PM UTC web-flow travis-ci-com pending completion  
1139 master Merge pull request #280 from alpha-asp/rtaupe_affil_aau updated authors and contributors push 10 Dec 2020 04:07AM UTC web-flow travis-ci-com pending completion  
1074 master Merge pull request #257 from alpha-asp/java-update Upgrade Java and Gradle push 27 Oct 2020 12:12PM UTC web-flow travis-ci-com pending completion  
1065 master Merge pull request #270 from alpha-asp/substitution_lazy_cloning Substitution lazy cloning push 07 Oct 2020 04:54PM UTC web-flow travis-ci-com pending completion  
See All Builds (1165)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc