Skip to content

Actions: ichiban/prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #320 from ichiban/fix-succ-vars Go #567: Commit 03d3d3d pushed by ichiban
June 13, 2024 09:48 34s main
main
June 13, 2024 09:48 34s
Merge pull request #319 from ichiban/fix-spacing-variable-write-term Go #566: Commit 76ad1bf pushed by ichiban
June 13, 2024 09:47 35s main
main
June 13, 2024 09:47 35s
fix variable handling in Succ() Go #565: Pull request #320 opened by ichiban
June 12, 2024 12:59 40s fix-succ-vars
fix-succ-vars
June 12, 2024 12:59 40s
fix variable's WriteTerm() when following/followed by a letter-digit operator Go #564: Pull request #319 opened by ichiban
June 12, 2024 12:54 34s fix-spacing-variable-write-term
fix-spacing-variable-write-term
June 12, 2024 12:54 34s
Merge pull request #312 from ichiban/assert-public Go #563: Commit d6ea349 pushed by ichiban
February 18, 2024 02:33 32s main
main
February 18, 2024 02:33 32s
Merge pull request #313 from ccamel/feat/expose-exception Go #562: Commit 235fea6 pushed by ichiban
February 18, 2024 02:24 39s main
main
February 18, 2024 02:24 39s
Expose all error constructors Go #561: Pull request #313 synchronize by ccamel
February 14, 2024 16:24 39s ccamel:feat/expose-exception
ccamel:feat/expose-exception
February 14, 2024 16:24 39s
Expose all error constructors Go #559: Pull request #313 opened by ccamel
January 18, 2024 08:56 36s ccamel:feat/expose-exception
ccamel:feat/expose-exception
January 18, 2024 08:56 36s
a predicate created by {asserta, assertz}/1 must be public. Go #558: Pull request #312 opened by ichiban
January 13, 2024 11:53 42s assert-public
assert-public
January 13, 2024 11:53 42s
Module system with type-in module Go #557: Pull request #307 synchronize by ichiban
December 30, 2023 08:30 34s module-2
module-2
December 30, 2023 08:30 34s
Module system with type-in module Go #556: Pull request #307 synchronize by ichiban
December 29, 2023 07:36 35s module-2
module-2
December 29, 2023 07:36 35s
Module system with type-in module Go #555: Pull request #307 synchronize by ichiban
October 15, 2023 03:48 45s module-2
module-2
October 15, 2023 03:48 45s
Module system with type-in module Go #554: Pull request #307 opened by ichiban
October 8, 2023 03:15 52s module-2
module-2
October 8, 2023 03:15 52s
Module Go #553: Pull request #295 synchronize by ichiban
August 19, 2023 15:36 40s module
module
August 19, 2023 15:36 40s
Module Go #552: Pull request #295 synchronize by ichiban
August 11, 2023 11:33 48s module
module
August 11, 2023 11:33 48s
Module Go #551: Pull request #295 synchronize by ichiban
August 11, 2023 11:28 38s module
module
August 11, 2023 11:28 38s
Merge pull request #305 from ichiban/fix-eos-detection Go #550: Commit c682cd3 pushed by ichiban
August 11, 2023 04:59 47s main
main
August 11, 2023 04:59 47s
pages build and deployment pages-build-deployment #124: by ichiban
August 11, 2023 04:59 41s
August 11, 2023 04:59 41s
Merge pull request #303 from ichiban/prioritize-max-depth-over-cycle-… Go #549: Commit 982dbc1 pushed by ichiban
August 11, 2023 04:58 36s main
main
August 11, 2023 04:58 36s
pages build and deployment pages-build-deployment #123: by ichiban
August 11, 2023 04:58 17s
August 11, 2023 04:58 17s
fix end_of_stream detection Go #548: Pull request #305 synchronize by ichiban
August 11, 2023 04:34 46s fix-eos-detection
fix-eos-detection
August 11, 2023 04:34 46s
fix end_of_stream detection Go #547: Pull request #305 opened by ichiban
August 11, 2023 02:17 56s fix-eos-detection
fix-eos-detection
August 11, 2023 02:17 56s
prioritize max_depth over cycle detection Go #546: Pull request #303 opened by ichiban
July 26, 2023 13:14 47s prioritize-max-depth-over-cycle-detection
prioritize-max-depth-over-cycle-detection
July 26, 2023 13:14 47s
Merge pull request #302 from ichiban/fix-1pl-file-args-empty Go #545: Commit b77736e pushed by ichiban
July 22, 2023 09:20 1m 0s main
main
July 22, 2023 09:20 1m 0s
pages build and deployment pages-build-deployment #122: by ichiban
July 22, 2023 09:20 44s
July 22, 2023 09:20 44s