Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
VSCode Release v0.14.8 build #3640: Pull request #1532 opened by bugarela
October 18, 2024 11:57 7m 23s vscode-release/0.14.8
vscode-release/0.14.8
October 18, 2024 11:57 7m 23s
Fix nondet picks not being tracked correctly in the getting started spec build #3639: Pull request #1531 synchronize by bugarela
October 17, 2024 13:21 8m 33s gabriela/fix-nondet-picks
gabriela/fix-nondet-picks
October 17, 2024 13:21 8m 33s
Fix nondet picks not being tracked correctly in the getting started spec build #3638: Pull request #1531 opened by bugarela
October 17, 2024 13:20 7m 40s gabriela/fix-nondet-picks
gabriela/fix-nondet-picks
October 17, 2024 13:20 7m 40s
feat: include compiled binaries in releases build #3637: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:38 5m 59s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:38 5m 59s
feat: include compiled binaries in releases build #3636: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:16 7m 0s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:16 7m 0s
feat: include compiled binaries in releases build #3635: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:10 8m 25s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:10 8m 25s
feat: include compiled binaries in releases build #3634: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:09 7m 6s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:09 7m 6s
feat: include compiled binaries in releases build #3633: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:08 6m 6s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:08 6m 6s
feat: include compiled binaries in releases build #3632: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:04 6m 6s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:04 6m 6s
feat: include compiled binaries in releases build #3631: Pull request #1529 synchronize by rnbguy
October 16, 2024 13:03 5m 48s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 13:03 5m 48s
feat: include compiled binaries in releases build #3630: Pull request #1529 synchronize by rnbguy
October 16, 2024 12:54 5m 59s rano/precompiled-binaries
rano/precompiled-binaries
October 16, 2024 12:54 5m 59s
feat: include compiled binaries in releases build #3629: Pull request #1529 synchronize by rnbguy
October 12, 2024 09:21 3m 48s rano/precompiled-binaries
rano/precompiled-binaries
October 12, 2024 09:21 3m 48s
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