Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v0.22.4 release #41: Commit 63c7900 pushed by bugarela
November 19, 2024 15:05 1m 38s v0.22.4
v0.22.4
November 19, 2024 15:05 1m 38s
Merge pull request #1554 from informalsystems/release/0.22.4 build #3672: Commit 7b968e5 pushed by bugarela
November 19, 2024 15:05 5m 44s main
main
November 19, 2024 15:05 5m 44s
Release v0.22.4 build #3671: Pull request #1554 opened by bugarela
November 19, 2024 14:53 11m 14s release/0.22.4
release/0.22.4
November 19, 2024 14:53 11m 14s
Merge pull request #1553 from informalsystems/gabriela/fix-init-n-traces build #3670: Commit ab48b6a pushed by bugarela
November 19, 2024 14:52 6m 26s main
main
November 19, 2024 14:52 6m 26s
Hotfix: Properly reset metadata variables build #3669: Pull request #1553 synchronize by bugarela
November 19, 2024 14:39 12m 33s gabriela/fix-init-n-traces
gabriela/fix-init-n-traces
November 19, 2024 14:39 12m 33s
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