Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Always show the seed on simulation build #3644: Pull request #1524 synchronize by bugarela
October 22, 2024 11:45 8m 28s gabriela/simulator-seed-printing
gabriela/simulator-seed-printing
October 22, 2024 11:45 8m 28s
Merge pull request #1535 from lucab/ups/syntaxes-hashbang build #3643: Commit d2f00a0 pushed by bugarela
October 21, 2024 12:24 6m 2s main
main
October 21, 2024 12:24 6m 2s
editor-plugins: add hashbang line highlighting build #3642: Pull request #1535 opened by lucab
October 20, 2024 12:52 7m 22s lucab:ups/syntaxes-hashbang
lucab:ups/syntaxes-hashbang
October 20, 2024 12:52 7m 22s
Merge pull request #1532 from informalsystems/vscode-release/0.14.8 build #3641: Commit e2e476c pushed by bugarela
October 18, 2024 12:07 6m 9s main
main
October 18, 2024 12:07 6m 9s