Skip to content

Actions: drexlerd/Loki

Actions

Googlebenchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmarks.yml
52 workflow runs
52 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 Googlebenchmark #420: Commit 6b41975 pushed by simon-stahlberg
13m 21s main
main
13m 21s
CLI and permissions Googlebenchmark #419: Commit d56bddf pushed by drexlerd
13m 0s main
main
13m 0s
transform to lower case Googlebenchmark #418: Commit 91f2bbe pushed by drexlerd
12m 42s main
main
12m 42s
remove default value from optional out domain and problem Googlebenchmark #417: Commit 02880ea pushed by drexlerd
13m 22s main
main
13m 22s
added missing negation of numeric constraints in negation normal form… Googlebenchmark #416: Commit fc37fdb pushed by drexlerd
13m 1s main
main
13m 1s
Merge pull request #15 from jendrikseipp/apptainer Googlebenchmark #415: Commit 411e04d pushed by drexlerd
13m 3s main
main
13m 3s
added parsing of free variables in numeric constraints Googlebenchmark #414: Commit d6b89b9 pushed by drexlerd
13m 43s main
main
13m 43s
remove cond effect compilation againo Googlebenchmark #413: Commit ddfc862 pushed by drexlerd
15m 21s main
main
15m 21s
some fix on type Googlebenchmark #412: Commit 182629a pushed by drexlerd
13m 28s main
main
13m 28s
fix order 2 Googlebenchmark #411: Commit f86e5e1 pushed by drexlerd
13m 38s main
main
13m 38s
fix translation order Googlebenchmark #410: Commit 389cbaa pushed by drexlerd
13m 26s main
main
13m 26s
fixed missing object type literal for domain constants Googlebenchmark #409: Commit 2012917 pushed by drexlerd
13m 23s main
main
13m 23s
fix include Googlebenchmark #408: Commit 5811da6 pushed by drexlerd
13m 1s main
main
13m 1s
some cleanup Googlebenchmark #407: Commit 3d1cd10 pushed by drexlerd
13m 17s main
main
13m 17s
remove type from introduced type predicate if remove_typing is enabled Googlebenchmark #406: Commit 60218a4 pushed by drexlerd
13m 29s main
main
13m 29s
some fixes on parsing Googlebenchmark #405: Commit a835c40 pushed by drexlerd
13m 7s main
main
13m 7s
added includes Googlebenchmark #404: Commit 74178a6 pushed by drexlerd
13m 17s main
main
13m 17s
another iteration on formatter Googlebenchmark #403: Commit 5ac9891 pushed by drexlerd
13m 33s main
main
13m 33s
integrated fmt into ast printer Googlebenchmark #402: Commit 86ed40a pushed by drexlerd
13m 28s main
main
13m 28s
fixed missing variable translate Googlebenchmark #401: Commit 2a3fd32 pushed by drexlerd
13m 16s main
main
13m 16s
added reparsing tests and some fixes related to that Googlebenchmark #400: Commit 510f3e0 pushed by drexlerd
14m 6s main
main
14m 6s
fix Googlebenchmark #399: Commit 136d248 pushed by drexlerd
13m 36s main
main
13m 36s
cleaned formatting using fmt Googlebenchmark #398: Commit 8e0f03b pushed by drexlerd
13m 49s main
main
13m 49s
gitignore Googlebenchmark #397: Commit c79664f pushed by drexlerd
13m 21s main
main
13m 21s
added optional removal of type hierarchy Googlebenchmark #396: Commit 2a47f70 pushed by drexlerd
13m 32s main
main
13m 32s