Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,283 workflow runs
1,283 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Quint example for k-set consensus algorithm build #3668: Pull request #1547 synchronize by bugarela
November 14, 2024 12:26 5m 55s tatjana/consensus-example-k-set
tatjana/consensus-example-k-set
November 14, 2024 12:26 5m 55s
Quint example for k-set consensus algorithm build #3667: Pull request #1547 synchronize by kirdatatjana
November 13, 2024 22:49 6m 15s tatjana/consensus-example-k-set
tatjana/consensus-example-k-set
November 13, 2024 22:49 6m 15s
Merge pull request #1550 from OakenKnight/main build #3666: Commit 649fd79 pushed by bugarela
November 13, 2024 17:53 9m 7s main
main
November 13, 2024 17:53 9m 7s
fixed broken link for quint-cheatsheet.pdf in README.md build #3665: Pull request #1550 opened by OakenKnight
November 13, 2024 17:42 11m 20s OakenKnight:main
OakenKnight:main
November 13, 2024 17:42 11m 20s
Example: Two-layered Cache build #3664: Pull request #1549 opened by mt40
November 11, 2024 13:54 Action required mt40:main
mt40:main
November 11, 2024 13:54 Action required
Quint example for k-set consensus algorithm build #3663: Pull request #1547 opened by kirdatatjana
November 7, 2024 17:40 8m 50s tatjana/consensus-example-k-set
tatjana/consensus-example-k-set
November 7, 2024 17:40 8m 50s
Quint example for consensus algorithm build #3662: Pull request #1546 synchronize by kirdatatjana
November 7, 2024 17:33 6m 2s tatjana/consensus-example
tatjana/consensus-example
November 7, 2024 17:33 6m 2s
Quint example for consensus algorithm build #3661: Pull request #1546 opened by kirdatatjana
November 7, 2024 17:07 11m 18s tatjana/consensus-example
tatjana/consensus-example
November 7, 2024 17:07 11m 18s
updated files to support new tuple representation build #3660: Pull request #1519 synchronize by MahtabNorouzi
October 29, 2024 22:57 8m 5s change-tuple-structure
change-tuple-structure
October 29, 2024 22:57 8m 5s
Merge pull request #1539 from informalsystems/vscode-release/0.14.9 build #3659: Commit 76cb41b pushed by bugarela
October 28, 2024 18:56 5m 56s main
main
October 28, 2024 18:56 5m 56s
VSCode Release v0.14.9 build #3658: Pull request #1539 opened by bugarela
October 28, 2024 17:41 9m 40s vscode-release/0.14.9
vscode-release/0.14.9
October 28, 2024 17:41 9m 40s
Release v0.22.3 release #40: Commit d8a1856 pushed by bugarela
October 28, 2024 15:38 1m 10s v0.22.3
v0.22.3
October 28, 2024 15:38 1m 10s
Merge pull request #1538 from informalsystems/release/0.22.3 build #3657: Commit 6c7c8fe pushed by bugarela
October 28, 2024 15:36 6m 5s main
main
October 28, 2024 15:36 6m 5s
Release v0.22.3 build #3656: Pull request #1538 opened by bugarela
October 28, 2024 14:11 9m 13s release/0.22.3
release/0.22.3
October 28, 2024 14:11 9m 13s
Merge pull request #1510 from informalsystems/grammar-update build #3655: Commit f3468b2 pushed by bugarela
October 28, 2024 14:06 6m 16s main
main
October 28, 2024 14:06 6m 16s
Updated the grammar rules to allow for optional trailing commas. build #3654: Pull request #1510 synchronize by bugarela
October 28, 2024 14:00 5m 58s grammar-update
grammar-update
October 28, 2024 14:00 5m 58s
Updated the grammar rules to allow for optional trailing commas. build #3653: Pull request #1510 synchronize by bugarela
October 28, 2024 13:52 10m 13s grammar-update
grammar-update
October 28, 2024 13:52 10m 13s
Merge pull request #1531 from informalsystems/gabriela/fix-nondet-picks build #3652: Commit b227ec3 pushed by bugarela
October 28, 2024 13:05 6m 11s main
main
October 28, 2024 13:05 6m 11s
Fix nondet picks not being tracked correctly in the getting started spec build #3651: Pull request #1531 synchronize by bugarela
October 28, 2024 12:58 6m 48s gabriela/fix-nondet-picks
gabriela/fix-nondet-picks
October 28, 2024 12:58 6m 48s
Fix nondet picks not being tracked correctly in the getting started spec build #3650: Pull request #1531 synchronize by bugarela
October 28, 2024 12:32 11m 48s gabriela/fix-nondet-picks
gabriela/fix-nondet-picks
October 28, 2024 12:32 11m 48s
Merge pull request #1537 from konnov/igor/update-nodejs-in-nvmrc build #3649: Commit 26947df pushed by bugarela
October 28, 2024 12:31 6m 8s main
main
October 28, 2024 12:31 6m 8s
update the nodejs version in .nvmrc build #3648: Pull request #1537 opened by konnov
October 23, 2024 12:15 10m 39s konnov:igor/update-nodejs-in-nvmrc
konnov:igor/update-nodejs-in-nvmrc
October 23, 2024 12:15 10m 39s
Merge pull request #1525 from informalsystems/gabriela/get-only-element build #3647: Commit d5d620e pushed by bugarela
October 22, 2024 13:44 6m 10s main
main
October 22, 2024 13:44 6m 10s
Add getOnlyElement() built in operator build #3646: Pull request #1525 synchronize by bugarela
October 22, 2024 13:19 4m 15s gabriela/get-only-element
gabriela/get-only-element
October 22, 2024 13:19 4m 15s
Merge pull request #1524 from informalsystems/gabriela/simulator-seed… build #3645: Commit 6463232 pushed by bugarela
October 22, 2024 11:54 5m 40s main
main
October 22, 2024 11:54 5m 40s