Skip to content

Actions: runtimeverification/automerge

Actions

Test Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

modified: src/automerge.py
Test Workflow #38: Pull request #5 synchronize by F-WRunTime
December 4, 2024 17:48 1m 3s feature/check-status-permissions-api
December 4, 2024 17:48 1m 3s
modified: src/automerge.py
Test Workflow #37: Pull request #5 synchronize by F-WRunTime
December 3, 2024 21:14 1m 5s feature/check-status-permissions-api
December 3, 2024 21:14 1m 5s
modified: src/automerge.py
Test Workflow #36: Pull request #5 synchronize by F-WRunTime
December 3, 2024 21:11 38s feature/check-status-permissions-api
December 3, 2024 21:11 38s
modified: src/automerge.py
Test Workflow #35: Pull request #5 synchronize by F-WRunTime
December 3, 2024 21:06 39s feature/check-status-permissions-api
December 3, 2024 21:06 39s
modified: src/automerge.py
Test Workflow #34: Pull request #5 synchronize by F-WRunTime
December 3, 2024 21:04 37s feature/check-status-permissions-api
December 3, 2024 21:04 37s
modified: src/automerge.py
Test Workflow #33: Pull request #5 synchronize by F-WRunTime
December 3, 2024 21:02 38s feature/check-status-permissions-api
December 3, 2024 21:02 38s
modified: src/automerge.py
Test Workflow #32: Pull request #5 synchronize by F-WRunTime
December 3, 2024 20:57 35s feature/check-status-permissions-api
December 3, 2024 20:57 35s
modified: src/automerge.py
Test Workflow #31: Pull request #5 synchronize by F-WRunTime
December 3, 2024 20:07 1m 6s feature/check-status-permissions-api
December 3, 2024 20:07 1m 6s
modified: src/automerge.py
Test Workflow #30: Pull request #5 synchronize by F-WRunTime
November 28, 2024 03:15 1m 3s feature/check-status-permissions-api
November 28, 2024 03:15 1m 3s
modified: src/automerge.py
Test Workflow #29: Pull request #5 synchronize by F-WRunTime
November 27, 2024 04:38 1m 19s feature/check-status-permissions-api
November 27, 2024 04:38 1m 19s
modified: src/automerge.py
Test Workflow #28: Pull request #5 opened by F-WRunTime
November 27, 2024 04:36 1m 11s feature/check-status-permissions-api
November 27, 2024 04:36 1m 11s
Test Workflow
Test Workflow #27: Manually run by F-WRunTime
March 16, 2024 04:34 1m 7s master
March 16, 2024 04:34 1m 7s
Test Workflow
Test Workflow #26: Manually run by F-WRunTime
March 16, 2024 04:26 1m 10s master
March 16, 2024 04:26 1m 10s
Test Workflow
Test Workflow #25: Manually run by F-WRunTime
March 16, 2024 04:24 33s master
March 16, 2024 04:24 33s
Test Workflow
Test Workflow #24: Manually run by F-WRunTime
March 16, 2024 04:22 36s master
March 16, 2024 04:22 36s
Test Workflow
Test Workflow #18: Manually run by F-WRunTime
March 7, 2024 15:44 41s master
March 7, 2024 15:44 41s
Update workflow
Test Workflow #17: Pull request #2 synchronize by F-WRunTime
February 14, 2024 04:26 36s fix/rewrite-commit-message
February 14, 2024 04:26 36s
Update workflow
Test Workflow #16: Pull request #2 synchronize by F-WRunTime
February 14, 2024 03:47 43s fix/rewrite-commit-message
February 14, 2024 03:47 43s
Update workflow
Test Workflow #15: Pull request #2 synchronize by F-WRunTime
February 14, 2024 03:31 31s fix/rewrite-commit-message
February 14, 2024 03:31 31s
Test Workflow
Test Workflow #14: Manually run by F-WRunTime
February 13, 2024 22:14 35s fix/rewrite-commit-message
February 13, 2024 22:14 35s