Skip to content

Actions: runtimeverification/automerge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cache pip packages Test Workflow #6: Commit 831a88a pushed by F-WRunTime
January 24, 2024 18:52 23s master
master
January 24, 2024 18:52 23s
dry run mode Basic validation #5: Commit 931e81a pushed by F-WRunTime
January 24, 2024 18:43 32s master
master
January 24, 2024 18:43 32s
dry run mode Test Workflow #5: Commit 931e81a pushed by F-WRunTime
January 24, 2024 18:43 27s master
master
January 24, 2024 18:43 27s
Update to version 4 checkout Basic validation #4: Commit 161a6c2 pushed by F-WRunTime
January 24, 2024 18:41 42s master
master
January 24, 2024 18:41 42s
Update to version 4 checkout Test Workflow #4: Commit 161a6c2 pushed by F-WRunTime
January 24, 2024 18:41 29s master
master
January 24, 2024 18:41 29s
Test PR workflows (#1) Basic validation #3: Commit c15791a pushed by F-WRunTime
January 24, 2024 18:37 49s master
master
January 24, 2024 18:37 49s
Test PR workflows (#1) Test Workflow #3: Commit c15791a pushed by F-WRunTime
January 24, 2024 18:37 23s master
master
January 24, 2024 18:37 23s
Test PR workflows Basic validation #2: Pull request #1 synchronize by F-WRunTime
January 24, 2024 18:34 38s test/workflows
test/workflows
January 24, 2024 18:34 38s
Test PR workflows Test Workflow #2: Pull request #1 synchronize by F-WRunTime
January 24, 2024 18:34 20s test/workflows
test/workflows
January 24, 2024 18:34 20s
Test environment and workflow Test Workflow #1: Commit 4d383db pushed by F-WRunTime
January 24, 2024 18:34 24s test/workflows
test/workflows
January 24, 2024 18:34 24s
Test PR workflows Basic validation #1: Pull request #1 synchronize by F-WRunTime
January 24, 2024 17:29 44s test/workflows
test/workflows
January 24, 2024 17:29 44s