Skip to content

Actions: ad-freiburg/qlever

Actions

Check index version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_index_version.yml
2,221 workflow runs
2,221 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Config manager usage improvements Check index version #96: Pull request #1040 synchronize by schlegan
August 14, 2023 15:34 1h 0m 33s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
August 14, 2023 15:34 1h 0m 33s
Refactor the handling of strings in expressions Check index version #95: Pull request #1045 synchronize by joka921
August 14, 2023 15:05 1h 5m 42s joka921:string_expressions
joka921:string_expressions
August 14, 2023 15:05 1h 5m 42s
Show the completed words when using ql:contains-word Check index version #94: Pull request #954 synchronize by NickG-1
August 14, 2023 14:00 1h 7m 25s NickG-1:master
NickG-1:master
August 14, 2023 14:00 1h 7m 25s
Config manager usage improvements Check index version #93: Pull request #1040 synchronize by schlegan
August 14, 2023 12:52 1h 16m 50s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
August 14, 2023 12:52 1h 16m 50s
Refactor the handling of strings in expressions Check index version #92: Pull request #1045 synchronize by joka921
August 14, 2023 12:45 1h 6m 49s joka921:string_expressions
joka921:string_expressions
August 14, 2023 12:45 1h 6m 49s
Refactor the handling of strings in expressions Check index version #91: Pull request #1045 synchronize by joka921
August 14, 2023 10:30 44m 11s joka921:string_expressions
joka921:string_expressions
August 14, 2023 10:30 44m 11s
Config manager usage improvements Check index version #90: Pull request #1040 synchronize by schlegan
August 13, 2023 09:39 1h 5m 42s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
August 13, 2023 09:39 1h 5m 42s
Refactor the handling of strings in expressions Check index version #89: Pull request #1045 synchronize by joka921
August 11, 2023 12:21 58m 0s joka921:string_expressions
joka921:string_expressions
August 11, 2023 12:21 58m 0s
Config manager usage improvements Check index version #88: Pull request #1040 synchronize by schlegan
August 10, 2023 16:55 1h 5m 57s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
August 10, 2023 16:55 1h 5m 57s
Config manager usage improvements Check index version #87: Pull request #1040 synchronize by schlegan
August 10, 2023 09:01 1h 5m 58s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
August 10, 2023 09:01 1h 5m 58s
Show the completed words when using ql:contains-word Check index version #86: Pull request #954 synchronize by NickG-1
August 8, 2023 15:01 53m 12s NickG-1:master
NickG-1:master
August 8, 2023 15:01 53m 12s
Show the completed words when using ql:contains-word Check index version #85: Pull request #954 synchronize by NickG-1
August 6, 2023 12:49 1h 3m 49s NickG-1:master
NickG-1:master
August 6, 2023 12:49 1h 3m 49s
Config manager usage improvements Check index version #84: Pull request #1040 synchronize by schlegan
August 6, 2023 09:07 56m 32s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
August 6, 2023 09:07 56m 32s
Give each index a (reasonably) unique ID Check index version #83: Pull request #984 synchronize by hannahbast
August 4, 2023 20:32 49m 51s index-id
index-id
August 4, 2023 20:32 49m 51s
Add math functions log, exp, sqrt, sin, cos, tan Check index version #82: Pull request #1047 synchronize by hannahbast
August 3, 2023 20:51 1h 12m 15s log-function
log-function
August 3, 2023 20:51 1h 12m 15s
Add math functions log, exp, sqrt, sin, cos, tan Check index version #81: Pull request #1047 opened by hannahbast
August 2, 2023 21:36 1h 9m 5s log-function
log-function
August 2, 2023 21:36 1h 9m 5s
Give each index a (reasonably) unique ID Check index version #80: Pull request #984 synchronize by hannahbast
August 1, 2023 21:43 1h 5m 8s index-id
index-id
August 1, 2023 21:43 1h 5m 8s
Show the completed words when using ql:contains-word Check index version #79: Pull request #954 synchronize by NickG-1
August 1, 2023 15:40 51m 6s NickG-1:master
NickG-1:master
August 1, 2023 15:40 51m 6s
Show the completed words when using ql:contains-word Check index version #78: Pull request #954 synchronize by NickG-1
August 1, 2023 15:40 4s NickG-1:master
NickG-1:master
August 1, 2023 15:40 4s
Make the exceptions generated by ANTLRErrorHandling more general Check index version #77: Pull request #1044 synchronize by schlegan
July 31, 2023 09:46 55m 47s schlegan:generalizeAntlrErrorHandeling
schlegan:generalizeAntlrErrorHandeling
July 31, 2023 09:46 55m 47s
Make the exceptions generated by ANTLRErrorHandling more general Check index version #76: Pull request #1044 synchronize by schlegan
July 30, 2023 13:06 1h 4m 42s schlegan:generalizeAntlrErrorHandeling
schlegan:generalizeAntlrErrorHandeling
July 30, 2023 13:06 1h 4m 42s
Make the exceptions generated by ANTLRErrorHandling more general Check index version #75: Pull request #1044 synchronize by schlegan
July 30, 2023 11:24 1h 11m 6s schlegan:generalizeAntlrErrorHandeling
schlegan:generalizeAntlrErrorHandeling
July 30, 2023 11:24 1h 11m 6s
Make the exceptions generated by ANTLRErrorHandling more general Check index version #74: Pull request #1044 synchronize by schlegan
July 30, 2023 11:10 13m 52s schlegan:generalizeAntlrErrorHandeling
schlegan:generalizeAntlrErrorHandeling
July 30, 2023 11:10 13m 52s
Make the exceptions generated by ANTLRErrorHandling more general Check index version #73: Pull request #1044 synchronize by schlegan
July 30, 2023 08:34 1h 16m 24s schlegan:generalizeAntlrErrorHandeling
schlegan:generalizeAntlrErrorHandeling
July 30, 2023 08:34 1h 16m 24s
Config manager usage improvements Check index version #72: Pull request #1040 synchronize by schlegan
July 30, 2023 08:14 1h 1m 13s schlegan:ConfigManagerUsageImprovements
schlegan:ConfigManagerUsageImprovements
July 30, 2023 08:14 1h 1m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-07-30 or the other filters available.