Skip to content

Actions: pactus-project/pactus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
912 workflow run results
912 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: rename SanityCheck to BasicCheck Semantic PR #498: Pull request #643 opened by amirvalhalla
August 19, 2023 19:10 15s
August 19, 2023 19:10 15s
refactor: rename SanityCheck to BasicCheck Unit testing #1323: Pull request #643 opened by amirvalhalla
August 19, 2023 19:10 6m 47s amirvalhalla:rename_SanityCheck_to_BasicCheck
amirvalhalla:rename_SanityCheck_to_BasicCheck
August 19, 2023 19:10 6m 47s
refactor: rename SanityCheck to BasicCheck Deadlock and data race detection #930: Pull request #643 opened by amirvalhalla
August 19, 2023 19:10 8m 2s amirvalhalla:rename_SanityCheck_to_BasicCheck
amirvalhalla:rename_SanityCheck_to_BasicCheck
August 19, 2023 19:10 8m 2s
refactor: rename SanityCheck to BasicCheck Building and testing GUI #955: Pull request #643 opened by amirvalhalla
August 19, 2023 19:10 20m 31s amirvalhalla:rename_SanityCheck_to_BasicCheck
amirvalhalla:rename_SanityCheck_to_BasicCheck
August 19, 2023 19:10 20m 31s
refactor: rename SanityCheck to BasicCheck Lint and format check #1368: Pull request #643 opened by amirvalhalla
August 19, 2023 19:10 6m 30s amirvalhalla:rename_SanityCheck_to_BasicCheck
amirvalhalla:rename_SanityCheck_to_BasicCheck
August 19, 2023 19:10 6m 30s
refactor: rename SanityCheck to BasicCheck Reporting test coverage #1312: Pull request #643 opened by amirvalhalla
August 19, 2023 19:10 3m 35s amirvalhalla:rename_SanityCheck_to_BasicCheck
amirvalhalla:rename_SanityCheck_to_BasicCheck
August 19, 2023 19:10 3m 35s
docs: updating tla+ spec Unit testing #1322: Pull request #641 synchronize by b00f
August 19, 2023 17:27 3m 33s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:27 3m 33s
docs: updating tla+ spec Building and testing GUI #954: Pull request #641 synchronize by b00f
August 19, 2023 17:27 17m 59s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:27 17m 59s
docs: updating tla+ spec Deadlock and data race detection #929: Pull request #641 synchronize by b00f
August 19, 2023 17:27 7m 36s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:27 7m 36s
docs: updating tla+ spec Reporting test coverage #1311: Pull request #641 synchronize by b00f
August 19, 2023 17:27 3m 20s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:27 3m 20s
docs: updating tla+ spec Lint and format check #1367: Pull request #641 synchronize by b00f
August 19, 2023 17:27 5m 3s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:27 5m 3s
docs: updating tla+ spec Semantic PR #497: Pull request #641 synchronize by b00f
August 19, 2023 17:27 11s
August 19, 2023 17:27 11s
docs: updating tla+ spec Deadlock and data race detection #928: Pull request #641 opened by b00f
August 19, 2023 17:24 7m 22s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:24 7m 22s
docs: updating tla+ spec Building and testing GUI #953: Pull request #641 opened by b00f
August 19, 2023 17:24 25m 13s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:24 25m 13s
docs: updating tla+ spec Lint and format check #1366: Pull request #641 opened by b00f
August 19, 2023 17:24 5m 54s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:24 5m 54s
docs: updating tla+ spec Unit testing #1321: Pull request #641 opened by b00f
August 19, 2023 17:24 6m 58s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:24 6m 58s
docs: updating tla+ spec Reporting test coverage #1310: Pull request #641 opened by b00f
August 19, 2023 17:24 3m 16s b00f:tla+-update
b00f:tla+-update
August 19, 2023 17:24 3m 16s
docs: updating tla+ spec Semantic PR #496: Pull request #641 opened by b00f
August 19, 2023 17:24 13s
August 19, 2023 17:24 13s
fix: aggregating signature for hello message (#640) Unit testing #1320: Commit 5450d26 pushed by b00f
August 19, 2023 04:47 4m 17s main
main
August 19, 2023 04:47 4m 17s
fix: aggregating signature for hello message (#640) Lint and format check #1365: Commit 5450d26 pushed by b00f
August 19, 2023 04:47 6m 46s main
main
August 19, 2023 04:47 6m 46s
fix: aggregating signature for hello message (#640) Reporting test coverage #1309: Commit 5450d26 pushed by b00f
August 19, 2023 04:47 3m 39s main
main
August 19, 2023 04:47 3m 39s
fix: aggregating signature for hello message (#640) Building and testing GUI #952: Commit 5450d26 pushed by b00f
August 19, 2023 04:47 19m 21s main
main
August 19, 2023 04:47 19m 21s
fix: aggregating signature for hello message (#640) Building Docker and Push to DockerHub #861: Commit 5450d26 pushed by b00f
August 19, 2023 04:47 2m 1s main
main
August 19, 2023 04:47 2m 1s
fix: aggregating signature for hello message Semantic PR #495: Pull request #640 opened by amirvalhalla
August 18, 2023 10:52 14s
August 18, 2023 10:52 14s
fix: aggregating signature for hello message Building and testing GUI #951: Pull request #640 opened by amirvalhalla
August 18, 2023 10:52 19m 11s amirvalhalla:hello_message_aggregated_signiture
amirvalhalla:hello_message_aggregated_signiture
August 18, 2023 10:52 19m 11s