Skip to content

Actions: knowsys/nemo

Actions

CI PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
561 workflow runs
561 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement Tracing CI PR #699: Pull request #363 synchronize by aannleax
September 19, 2023 14:48 13m 14s trace
trace
September 19, 2023 14:48 13m 14s
Implement Tracing CI PR #698: Pull request #363 synchronize by aannleax
September 19, 2023 14:44 16m 37s trace
trace
September 19, 2023 14:44 16m 37s
Implement Tracing CI PR #697: Pull request #363 synchronize by aannleax
September 19, 2023 14:41 15m 48s trace
trace
September 19, 2023 14:41 15m 48s
Implement Tracing CI PR #696: Pull request #363 opened by aannleax
September 19, 2023 14:37 13m 55s trace
trace
September 19, 2023 14:37 13m 55s
Validate predicate usage against declared arity CI PR #695: Pull request #362 synchronize by mmarx
September 19, 2023 13:39 11m 18s bug/361-declare-arity
bug/361-declare-arity
September 19, 2023 13:39 11m 18s
Validate predicate usage against declared arity CI PR #694: Pull request #362 synchronize by mmarx
September 19, 2023 12:56 17m 47s bug/361-declare-arity
bug/361-declare-arity
September 19, 2023 12:56 17m 47s
Validate predicate usage against declared arity CI PR #693: Pull request #362 opened by mmarx
September 19, 2023 12:47 9m 51s bug/361-declare-arity
bug/361-declare-arity
September 19, 2023 12:47 9m 51s
fix normalisation leading to invalid rules CI PR #692: Pull request #358 synchronize by matzemathics
September 14, 2023 21:53 8m 22s fix-normalisation
fix-normalisation
September 14, 2023 21:53 8m 22s
fix normalisation leading to invalid rules CI PR #691: Pull request #358 synchronize by matzemathics
September 14, 2023 19:21 10m 28s fix-normalisation
fix-normalisation
September 14, 2023 19:21 10m 28s
fix normalisation leading to invalid rules CI PR #690: Pull request #358 opened by matzemathics
September 14, 2023 17:44 11m 9s fix-normalisation
fix-normalisation
September 14, 2023 17:44 11m 9s
add python support for more result types CI PR #689: Pull request #342 synchronize by matzemathics
September 13, 2023 15:22 11m 54s feature/python-value-integration
feature/python-value-integration
September 13, 2023 15:22 11m 54s
add python support for more result types CI PR #688: Pull request #342 synchronize by matzemathics
September 13, 2023 15:19 8m 39s feature/python-value-integration
feature/python-value-integration
September 13, 2023 15:19 8m 39s
Avoid building wasm-bindgen-cli CI PR #687: Pull request #356 opened by mmarx
September 13, 2023 14:13 10m 10s feature/upstream-wasm-bindgen-cli
feature/upstream-wasm-bindgen-cli
September 13, 2023 14:13 10m 10s
add python support for more result types CI PR #686: Pull request #342 synchronize by matzemathics
September 13, 2023 13:32 8m 33s feature/python-value-integration
feature/python-value-integration
September 13, 2023 13:32 8m 33s
add python support for more result types CI PR #685: Pull request #342 synchronize by matzemathics
September 13, 2023 13:29 4m 12s feature/python-value-integration
feature/python-value-integration
September 13, 2023 13:29 4m 12s
add python support for more result types CI PR #684: Pull request #342 synchronize by matzemathics
September 13, 2023 13:23 6m 1s feature/python-value-integration
feature/python-value-integration
September 13, 2023 13:23 6m 1s
add python support for more result types CI PR #683: Pull request #342 synchronize by matzemathics
September 13, 2023 13:22 2m 11s feature/python-value-integration
feature/python-value-integration
September 13, 2023 13:22 2m 11s
add python support for more result types CI PR #682: Pull request #342 synchronize by matzemathics
September 13, 2023 12:25 8m 28s feature/python-value-integration
feature/python-value-integration
September 13, 2023 12:25 8m 28s
ensure filename is shown in the error message CI PR #681: Pull request #351 synchronize by matzemathics
September 13, 2023 09:29 12m 4s descriptive-io-error
descriptive-io-error
September 13, 2023 09:29 12m 4s
ensure filename is shown in the error message CI PR #680: Pull request #351 opened by matzemathics
September 13, 2023 09:20 10m 19s descriptive-io-error
descriptive-io-error
September 13, 2023 09:20 10m 19s
Fix typo in README.md CI PR #679: Pull request #350 opened by eltociear
August 31, 2023 15:17 9m 25s eltociear:patch-1
eltociear:patch-1
August 31, 2023 15:17 9m 25s
Add parsing of aggregate terms and function term operations CI PR #678: Pull request #349 synchronize by rlwww
August 28, 2023 11:22 11m 33s feature/348-parsing-aggregates-functions
feature/348-parsing-aggregates-functions
August 28, 2023 11:22 11m 33s
Add parsing of aggregate terms and function term operations CI PR #677: Pull request #349 opened by rlwww
August 25, 2023 13:35 2m 21s feature/348-parsing-aggregates-functions
feature/348-parsing-aggregates-functions
August 25, 2023 13:35 2m 21s
Fix parsing of language strings CI PR #676: Pull request #347 opened by mmarx
August 24, 2023 15:12 7m 34s bug/345-langstr
bug/345-langstr
August 24, 2023 15:12 7m 34s
use a streaming permutator implementation CI PR #675: Pull request #344 synchronize by matzemathics
August 24, 2023 12:38 9m 6s streaming-permutator
streaming-permutator
August 24, 2023 12:38 9m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-08-24 or the other filters available.