Skip to content

Actions: runtimeverification/smir_pretty

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial CI setup and a few tests (#21) Test #14: Commit a823e31 pushed by dkcumming
November 18, 2024 06:46 18m 1s master
master
November 18, 2024 06:46 18m 1s
Initial CI setup and a few tests Test #13: Pull request #21 synchronize by jberthold
November 18, 2024 06:21 16m 55s initial-golden-tests
initial-golden-tests
November 18, 2024 06:21 16m 55s
Initial CI setup and a few tests Test #12: Pull request #21 synchronize by jberthold
November 18, 2024 03:19 17m 23s initial-golden-tests
initial-golden-tests
November 18, 2024 03:19 17m 23s
Initial CI setup and a few tests Test #11: Pull request #21 synchronize by jberthold
November 18, 2024 03:16 3m 17s initial-golden-tests
initial-golden-tests
November 18, 2024 03:16 3m 17s
Initial CI setup and a few tests Test #10: Pull request #21 synchronize by jberthold
November 18, 2024 02:54 37s initial-golden-tests
initial-golden-tests
November 18, 2024 02:54 37s
Initial CI setup and a few tests Test #9: Pull request #21 synchronize by jberthold
November 18, 2024 02:02 17m 12s initial-golden-tests
initial-golden-tests
November 18, 2024 02:02 17m 12s
Initial CI setup and a few tests Test #8: Pull request #21 synchronize by jberthold
November 18, 2024 00:52 17m 16s initial-golden-tests
initial-golden-tests
November 18, 2024 00:52 17m 16s
Initial CI setup and a few tests Test #7: Pull request #21 synchronize by jberthold
November 18, 2024 00:01 16s initial-golden-tests
initial-golden-tests
November 18, 2024 00:01 16s
Initial CI setup and a few tests Test #6: Pull request #21 synchronize by jberthold
November 17, 2024 23:59 3m 20s initial-golden-tests
initial-golden-tests
November 17, 2024 23:59 3m 20s
Initial CI setup and a few tests Test #5: Pull request #21 synchronize by jberthold
November 17, 2024 23:56 1s initial-golden-tests
initial-golden-tests
November 17, 2024 23:56 1s
Initial CI setup and a few tests Test #4: Pull request #21 synchronize by jberthold
November 13, 2024 05:16 17s initial-golden-tests
initial-golden-tests
November 13, 2024 05:16 17s
Initial CI setup and a few tests Test #3: Pull request #21 synchronize by jberthold
November 13, 2024 00:35 17m 50s initial-golden-tests
initial-golden-tests
November 13, 2024 00:35 17m 50s
Initial CI setup and a few tests Test #2: Pull request #21 synchronize by jberthold
November 12, 2024 22:49 14s initial-golden-tests
initial-golden-tests
November 12, 2024 22:49 14s
Create dummy CI workflow to kick things off Test #1: Pull request #22 opened by jberthold
November 12, 2024 22:47 13s dummy-CI-setup
dummy-CI-setup
November 12, 2024 22:47 13s