Skip to content

Actions: PLTools/OCanren

Actions

Build_PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PR.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wildcards 2025 Build_PR #72: Pull request #177 synchronize by Kakadu
March 20, 2025 08:29 2m 54s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
March 20, 2025 08:29 2m 54s
Wildcards 2025 Build_PR #71: Pull request #177 opened by Kakadu
March 20, 2025 07:12 2m 48s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
March 20, 2025 07:12 2m 48s
Fix issue #173 (disequlaity crash) Build_PR #70: Pull request #174 synchronize by Kakadu
March 20, 2025 05:51 2m 57s disequality-issue1
disequality-issue1
March 20, 2025 05:51 2m 57s
Fix issue #173 (disequlaity crash) Build_PR #69: Pull request #174 synchronize by Kakadu
March 20, 2025 05:49 1m 36s disequality-issue1
disequality-issue1
March 20, 2025 05:49 1m 36s
Fix issue #173 (disequlaity crash) Build_PR #68: Pull request #174 synchronize by Kakadu
March 20, 2025 05:48 1m 19s disequality-issue1
disequality-issue1
March 20, 2025 05:48 1m 19s
Fix issue #173 (disequlaity crash) Build_PR #67: Pull request #174 synchronize by Kakadu
March 20, 2025 05:35 2m 51s disequality-issue1
disequality-issue1
March 20, 2025 05:35 2m 51s
Fix issue #173 (disequlaity crash) Build_PR #66: Pull request #174 synchronize by Kakadu
January 12, 2025 17:10 9m 23s disequality-issue1
disequality-issue1
January 12, 2025 17:10 9m 23s
Fix issue #173 (disequlaity crash) Build_PR #65: Pull request #174 synchronize by Kakadu
January 12, 2025 10:19 9m 12s disequality-issue1
disequality-issue1
January 12, 2025 10:19 9m 12s
Fix issue #173 (disequlaity crash) Build_PR #64: Pull request #174 synchronize by Kakadu
January 12, 2025 07:56 9m 8s disequality-issue1
disequality-issue1
January 12, 2025 07:56 9m 8s
Fix issue #173 (disequlaity crash) Build_PR #63: Pull request #174 opened by Kakadu
December 24, 2024 11:17 9m 29s disequality-issue1
disequality-issue1
December 24, 2024 11:17 9m 29s