Skip to content

Actions: mthom/scryer-prolog

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,390 workflow runs
1,390 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Docker Publish Docker Publish #566: by mthom
May 29, 2024 18:28 7m 46s master
master
May 29, 2024 18:28 7m 46s
CI CI #922: by mthom
May 29, 2024 18:28 29m 12s master
master
May 29, 2024 18:28 29m 12s
re-add CI job to test Cargo.toml rust-version CI #921: Pull request #2413 synchronize by Skgland
May 29, 2024 17:51 30m 18s Skgland:master
Skgland:master
May 29, 2024 17:51 30m 18s
CI CI #920: Scheduled
May 29, 2024 01:01 24m 38s master
master
May 29, 2024 01:01 24m 38s
re-add CI job to test Cargo.toml rust-version CI #919: Pull request #2413 synchronize by Skgland
May 28, 2024 19:28 24m 11s Skgland:master
Skgland:master
May 28, 2024 19:28 24m 11s
re-add CI job to test Cargo.toml rust-version CI #918: Pull request #2413 synchronize by Skgland
May 28, 2024 18:54 22m 50s Skgland:master
Skgland:master
May 28, 2024 18:54 22m 50s
re-add CI job to test Cargo.toml rust-version CI #917: Pull request #2413 opened by Skgland
May 28, 2024 17:35 22m 18s Skgland:master
Skgland:master
May 28, 2024 17:35 22m 18s
Add macOS 14 ARM CI #916: Pull request #2412 opened by aarroyoc
May 28, 2024 13:55 23m 14s aarroyoc:macos-arm-runner-2
aarroyoc:macos-arm-runner-2
May 28, 2024 13:55 23m 14s
Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination CI #915: Commit 9672045 pushed by mthom
May 27, 2024 18:07 25m 22s master
master
May 27, 2024 18:07 25m 22s
Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination Docker Publish #565: Commit 9672045 pushed by mthom
May 27, 2024 18:07 7m 55s master
master
May 27, 2024 18:07 7m 55s
Upgrade to macOS 13 in CI CI #914: Pull request #2411 opened by aarroyoc
May 27, 2024 18:01 23m 41s aarroyoc:update-macos-runner
aarroyoc:update-macos-runner
May 27, 2024 18:01 23m 41s
Fix warnings of dead code CI #913: Pull request #2410 opened by aarroyoc
May 27, 2024 17:53 23m 43s aarroyoc:fix-warn-dead-code-elimination
aarroyoc:fix-warn-dead-code-elimination
May 27, 2024 17:53 23m 43s
Docs for library(reif) CI #912: Pull request #2407 synchronize by razetime
May 27, 2024 16:08 Action required razetime:reif-docs
razetime:reif-docs
May 27, 2024 16:08 Action required
Docs for library(reif) CI #911: Pull request #2407 opened by razetime
May 25, 2024 06:27 Action required razetime:reif-docs
razetime:reif-docs
May 25, 2024 06:27 Action required
CI CI #910: Scheduled
May 22, 2024 00:57 23m 27s master
master
May 22, 2024 00:57 23m 27s
CI CI #909: Scheduled
May 15, 2024 00:57 22m 37s master
master
May 15, 2024 00:57 22m 37s
restore ubuntu testing to ci.yml with rust version 1.77 CI #908: Pull request #2403 opened by mthom
May 13, 2024 20:41 24m 52s version_177_ci
version_177_ci
May 13, 2024 20:41 24m 52s
more generally consider NEGATIVE_SIGN a non-op term (#2401) CI #907: Commit 070f1e8 pushed by mthom
May 13, 2024 20:37 22m 27s master
master
May 13, 2024 20:37 22m 27s
more generally consider NEGATIVE_SIGN a non-op term (#2401) Docker Publish #564: Commit 070f1e8 pushed by mthom
May 13, 2024 20:37 7m 33s master
master
May 13, 2024 20:37 7m 33s
CI CI #906: Scheduled
May 8, 2024 00:46 26m 32s master
master
May 8, 2024 00:46 26m 32s
CI CI #905: Scheduled
May 1, 2024 00:59 32m 54s master
master
May 1, 2024 00:59 32m 54s
Merge pull request #2393 from mthom/unsafe_improvements Docker Publish #563: Commit 42a0d68 pushed by mthom
April 29, 2024 22:17 8m 14s master
master
April 29, 2024 22:17 8m 14s
Merge pull request #2393 from mthom/unsafe_improvements CI #904: Commit 42a0d68 pushed by mthom
April 29, 2024 22:17 37m 53s master
master
April 29, 2024 22:17 37m 53s
Improve use of unsafe Rust in arena.rs (#2391) CI #903: Pull request #2393 synchronize by mthom
April 29, 2024 21:40 35m 5s unsafe_improvements
unsafe_improvements
April 29, 2024 21:40 35m 5s
delay instantiation errors on lists in phrase/3 until runtime (#1665,… CI #902: Commit f3eea63 pushed by mthom
April 29, 2024 21:35 33m 34s master
master
April 29, 2024 21:35 33m 34s