Skip to content

Actions: drexlerd/Loki

Actions

Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integrationtests.yml
59 workflow runs
59 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add parser test for string parsing Integration Tests #501: Commit 6b41975 pushed by simon-stahlberg
22m 41s main
main
22m 41s
CLI and permissions Integration Tests #500: Commit d56bddf pushed by drexlerd
22m 34s main
main
22m 34s
transform to lower case Integration Tests #499: Commit 91f2bbe pushed by drexlerd
22m 2s main
main
22m 2s
remove default value from optional out domain and problem Integration Tests #498: Commit 02880ea pushed by drexlerd
21m 56s main
main
21m 56s
added missing negation of numeric constraints in negation normal form… Integration Tests #497: Commit fc37fdb pushed by drexlerd
22m 54s main
main
22m 54s
Merge pull request #15 from jendrikseipp/apptainer Integration Tests #496: Commit 411e04d pushed by drexlerd
22m 3s main
main
22m 3s
Add Apptainer recipe and GitHub Action workflow for building it. Integration Tests #495: Pull request #15 opened by jendrikseipp
23m 20s jendrikseipp:apptainer
jendrikseipp:apptainer
23m 20s
added parsing of free variables in numeric constraints Integration Tests #494: Commit d6b89b9 pushed by drexlerd
20m 14s main
main
20m 14s
remove cond effect compilation againo Integration Tests #493: Commit ddfc862 pushed by drexlerd
22m 45s main
main
22m 45s
some fix on type Integration Tests #492: Commit 182629a pushed by drexlerd
21m 45s main
main
21m 45s
fix order 2 Integration Tests #491: Commit f86e5e1 pushed by drexlerd
22m 12s main
main
22m 12s
fix translation order Integration Tests #490: Commit 389cbaa pushed by drexlerd
23m 38s main
main
23m 38s
fixed missing object type literal for domain constants Integration Tests #489: Commit 2012917 pushed by drexlerd
23m 14s main
main
23m 14s
fix include Integration Tests #488: Commit 5811da6 pushed by drexlerd
23m 40s main
main
23m 40s
some cleanup Integration Tests #487: Commit 3d1cd10 pushed by drexlerd
22m 25s main
main
22m 25s
remove type from introduced type predicate if remove_typing is enabled Integration Tests #486: Commit 60218a4 pushed by drexlerd
25m 40s main
main
25m 40s
some fixes on parsing Integration Tests #485: Commit a835c40 pushed by drexlerd
22m 46s main
main
22m 46s
added includes Integration Tests #484: Commit 74178a6 pushed by drexlerd
22m 50s main
main
22m 50s
another iteration on formatter Integration Tests #483: Commit 5ac9891 pushed by drexlerd
23m 27s main
main
23m 27s
integrated fmt into ast printer Integration Tests #482: Commit 86ed40a pushed by drexlerd
23m 0s main
main
23m 0s
fixed missing variable translate Integration Tests #481: Commit 2a3fd32 pushed by drexlerd
22m 56s main
main
22m 56s
added reparsing tests and some fixes related to that Integration Tests #480: Commit 510f3e0 pushed by drexlerd
22m 25s main
main
22m 25s
fix Integration Tests #479: Commit 136d248 pushed by drexlerd
10m 22s main
main
10m 22s
cleaned formatting using fmt Integration Tests #478: Commit 8e0f03b pushed by drexlerd
10m 45s main
main
10m 45s
gitignore Integration Tests #477: Commit c79664f pushed by drexlerd
23m 3s main
main
23m 3s