Skip to content

Actions: informalsystems/apalache-chai

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
19 workflow runs
19 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Bump pillow from 9.4.0 to 10.0.1 docs #13: Commit cd1c48e pushed by thpani
October 11, 2023 09:55 1m 19s trunk
trunk
October 11, 2023 09:55 1m 19s
Bump pillow from 9.4.0 to 10.0.1 build and test #146: Pull request #52 opened by dependabot bot
October 11, 2023 09:45 10m 58s dependabot/pip/pillow-10.0.1
dependabot/pip/pillow-10.0.1
October 11, 2023 09:45 10m 58s
Update cryptography docs #12: Commit 941dc01 pushed by thpani
August 8, 2023 11:47 1m 3s trunk
trunk
August 8, 2023 11:47 1m 3s
Update cryptography build and test #145: Pull request #51 opened by thpani
August 8, 2023 10:50 10m 45s th/update-cryptography
th/update-cryptography
August 8, 2023 10:50 10m 45s
Remove cryptography from project deps docs #11: Commit 2bca51f pushed by shonfeder
July 26, 2023 12:28 1m 6s trunk
trunk
July 26, 2023 12:28 1m 6s
Upgrade certifi and pygments build and test #144: Pull request #50 opened by thpani
July 26, 2023 07:31 10m 7s th/poetry-upgrade
th/poetry-upgrade
July 26, 2023 07:31 10m 7s
Bump cryptography to v41.0.2 docs #10: Commit 843b8f7 pushed by thpani
July 24, 2023 10:19 1m 13s trunk
trunk
July 24, 2023 10:19 1m 13s
Upgrade cryptography dependency build and test #143: Pull request #49 synchronize by thpani
July 18, 2023 13:30 10m 58s th/poetry-upgrade
th/poetry-upgrade
July 18, 2023 13:30 10m 58s
Upgrade cryptography dependency build and test #142: Pull request #49 opened by thpani
July 18, 2023 12:16 10m 54s th/poetry-upgrade
th/poetry-upgrade
July 18, 2023 12:16 10m 54s
Bump grpcio from 1.51.3 to 1.53.0 docs #9: Commit 23130ac pushed by thpani
July 6, 2023 08:45 1m 15s trunk
trunk
July 6, 2023 08:45 1m 15s
Bump grpcio from 1.51.3 to 1.53.0 build and test #141: Pull request #48 opened by dependabot bot
July 6, 2023 08:25 12m 54s dependabot/pip/grpcio-1.53.0
dependabot/pip/grpcio-1.53.0
July 6, 2023 08:25 12m 54s
Bump cryptography from 39.0.2 to 41.0.0 docs #8: Commit e43404c pushed by thpani
June 28, 2023 07:11 1m 13s trunk
trunk
June 28, 2023 07:11 1m 13s
Bump cryptography from 39.0.2 to 41.0.0 build and test #140: Pull request #47 synchronize by thpani
June 28, 2023 07:02 11m 23s dependabot/pip/cryptography-41.0.0
dependabot/pip/cryptography-41.0.0
June 28, 2023 07:02 11m 23s
Bump requests from 2.28.2 to 2.31.0 docs #7: Commit 5014119 pushed by thpani
June 27, 2023 13:20 1m 5s trunk
trunk
June 27, 2023 13:20 1m 5s
Bump cryptography from 39.0.2 to 41.0.0 build and test #139: Pull request #47 opened by dependabot bot
June 27, 2023 13:08 12m 26s dependabot/pip/cryptography-41.0.0
dependabot/pip/cryptography-41.0.0
June 27, 2023 13:08 12m 26s
Bump requests from 2.28.2 to 2.31.0 build and test #138: Pull request #45 synchronize by thpani
June 27, 2023 13:06 13m 29s dependabot/pip/requests-2.31.0
dependabot/pip/requests-2.31.0
June 27, 2023 13:06 13m 29s
Bump version on cachix/install-nix-action (#46) docs #6: Commit 657c1f3 pushed by thpani
June 27, 2023 13:02 1m 8s trunk
trunk
June 27, 2023 13:02 1m 8s
Fix macOS CI System Integrity Protection issue build and test #137: Pull request #46 opened by thpani
June 27, 2023 12:51 12m 12s fix-ci-nix
fix-ci-nix
June 27, 2023 12:51 12m 12s
Bump requests from 2.28.2 to 2.31.0 build and test #136: Pull request #45 opened by dependabot bot
June 27, 2023 12:28 1m 32s dependabot/pip/requests-2.31.0
dependabot/pip/requests-2.31.0
June 27, 2023 12:28 1m 32s