Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: include compiled binaries in releases build #3629: Pull request #1529 synchronize by rnbguy
October 12, 2024 09:21 5m 33s rano/precompiled-binaries
rano/precompiled-binaries
October 12, 2024 09:21 5m 33s
feat: include compiled binaries in releases build #3628: Pull request #1529 synchronize by rnbguy
October 12, 2024 07:50 5m 50s rano/precompiled-binaries
rano/precompiled-binaries
October 12, 2024 07:50 5m 50s
feat: include compiled binaries in releases build #3627: Pull request #1529 synchronize by rnbguy
October 12, 2024 07:45 5m 45s rano/precompiled-binaries
rano/precompiled-binaries
October 12, 2024 07:45 5m 45s
feat: include compiled binaries in releases build #3626: Pull request #1529 synchronize by rnbguy
October 10, 2024 17:24 5m 55s rano/precompiled-binaries
rano/precompiled-binaries
October 10, 2024 17:24 5m 55s
feat: include compiled binaries in releases build #3625: Pull request #1529 synchronize by rnbguy
October 10, 2024 10:50 5m 58s rano/precompiled-binaries
rano/precompiled-binaries
October 10, 2024 10:50 5m 58s
feat: include compiled binaries in releases build #3624: Pull request #1529 synchronize by rnbguy
October 10, 2024 10:40 6m 17s rano/precompiled-binaries
rano/precompiled-binaries
October 10, 2024 10:40 6m 17s
feat: include compiled binaries in releases build #3623: Pull request #1529 synchronize by rnbguy
October 10, 2024 10:38 6m 7s rano/precompiled-binaries
rano/precompiled-binaries
October 10, 2024 10:38 6m 7s
feat: include compiled binaries in releases build #3622: Pull request #1529 opened by rnbguy
October 10, 2024 08:54 8m 56s rano/precompiled-binaries
rano/precompiled-binaries
October 10, 2024 08:54 8m 56s
Merge pull request #1528 from informalsystems/vscode-release/0.14.7 build #3621: Commit 44f5251 pushed by bugarela
October 8, 2024 13:37 5m 48s main
main
October 8, 2024 13:37 5m 48s
VSCode Release v0.14.7 build #3620: Pull request #1528 opened by bugarela
October 8, 2024 13:27 9m 28s vscode-release/0.14.7
vscode-release/0.14.7
October 8, 2024 13:27 9m 28s
Release v0.22.2 release #39: Commit 9141424 pushed by bugarela
October 8, 2024 13:14 1m 17s v0.22.2
v0.22.2
October 8, 2024 13:14 1m 17s
Merge pull request #1527 from informalsystems/release/0.22.2 build #3619: Commit d10d21a pushed by bugarela
October 8, 2024 13:13 5m 40s main
main
October 8, 2024 13:13 5m 40s
Release v0.22.2 build #3618: Pull request #1527 opened by bugarela
October 8, 2024 13:02 10m 9s release/0.22.2
release/0.22.2
October 8, 2024 13:02 10m 9s
Updated the grammar rules to allow for optional trailing commas. build #3617: Pull request #1510 synchronize by MahtabNorouzi
October 7, 2024 14:50 5m 41s grammar-update
grammar-update
October 7, 2024 14:50 5m 41s
Updated the grammar rules to allow for optional trailing commas. build #3616: Pull request #1510 synchronize by MahtabNorouzi
October 4, 2024 19:36 5m 36s grammar-update
grammar-update
October 4, 2024 19:36 5m 36s
Updated the grammar rules to allow for optional trailing commas. build #3615: Pull request #1510 synchronize by MahtabNorouzi
October 4, 2024 19:28 4m 43s grammar-update
grammar-update
October 4, 2024 19:28 4m 43s
Updated the grammar rules to allow for optional trailing commas. build #3614: Pull request #1510 synchronize by MahtabNorouzi
October 4, 2024 14:22 5m 44s grammar-update
grammar-update
October 4, 2024 14:22 5m 44s
Add getOnlyElement() built in operator build #3613: Pull request #1525 synchronize by bugarela
October 4, 2024 14:11 7m 59s gabriela/get-only-element
gabriela/get-only-element
October 4, 2024 14:11 7m 59s
Add getOnlyElement() built in operator build #3612: Pull request #1525 synchronize by bugarela
October 4, 2024 14:10 5m 36s gabriela/get-only-element
gabriela/get-only-element
October 4, 2024 14:10 5m 36s
Add getOnlyElement() built in operator build #3611: Pull request #1525 opened by bugarela
October 4, 2024 13:23 8m 54s gabriela/get-only-element
gabriela/get-only-element
October 4, 2024 13:23 8m 54s
Updated the grammar rules to allow for optional trailing commas. build #3610: Pull request #1510 synchronize by MahtabNorouzi
October 4, 2024 02:03 5m 59s grammar-update
grammar-update
October 4, 2024 02:03 5m 59s
Updated the grammar rules to allow for optional trailing commas. build #3609: Pull request #1510 synchronize by MahtabNorouzi
October 4, 2024 01:31 5m 45s grammar-update
grammar-update
October 4, 2024 01:31 5m 45s
Always show the seed on simulation build #3608: Pull request #1524 synchronize by bugarela
October 4, 2024 00:06 5m 51s gabriela/simulator-seed-printing
gabriela/simulator-seed-printing
October 4, 2024 00:06 5m 51s
Always show the seed on simulation build #3607: Pull request #1524 synchronize by bugarela
October 4, 2024 00:03 5m 42s gabriela/simulator-seed-printing
gabriela/simulator-seed-printing
October 4, 2024 00:03 5m 42s
Always show the seed on simulation build #3606: Pull request #1524 opened by bugarela
October 3, 2024 23:50 8m 31s gabriela/simulator-seed-printing
gabriela/simulator-seed-printing
October 3, 2024 23:50 8m 31s