Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,838 workflow runs
1,838 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #1453 from informalsystems/gabriela/refactor-compi… build #3358: Commit 7318355 pushed by bugarela
June 7, 2024 18:44 5m 0s main
main
June 7, 2024 18:44 5m 0s
Use Either and extract code from compiler implementation build #3357: Pull request #1453 synchronize by bugarela
June 7, 2024 18:39 5m 3s gabriela/refactor-compiler-impl
gabriela/refactor-compiler-impl
June 7, 2024 18:39 5m 3s
Use Either and extract code from compiler implementation build #3356: Pull request #1453 synchronize by bugarela
June 4, 2024 21:24 4m 47s gabriela/refactor-compiler-impl
gabriela/refactor-compiler-impl
June 4, 2024 21:24 4m 47s
Use Either and extract code from compiler implementation build #3355: Pull request #1453 synchronize by bugarela
June 4, 2024 21:21 4m 44s gabriela/refactor-compiler-impl
gabriela/refactor-compiler-impl
June 4, 2024 21:21 4m 44s
Use Either and extract code from compiler implementation build #3354: Pull request #1453 synchronize by bugarela
June 4, 2024 21:09 4m 48s gabriela/refactor-compiler-impl
gabriela/refactor-compiler-impl
June 4, 2024 21:09 4m 48s
Merge pull request #1452 from konnov/igor/server-url build #3353: Commit 36a8383 pushed by bugarela
June 3, 2024 13:33 9m 22s main
main
June 3, 2024 13:33 9m 22s
Quality-of-life improvements to quint verify build #3352: Pull request #1452 synchronize by konnov
May 31, 2024 13:27 5m 17s konnov:igor/server-url
konnov:igor/server-url
May 31, 2024 13:27 5m 17s
Quality-of-life improvements to quint verify build #3351: Pull request #1452 synchronize by konnov
May 31, 2024 13:14 6h 0m 26s konnov:igor/server-url
konnov:igor/server-url
May 31, 2024 13:14 6h 0m 26s
Quality-of-life improvements to quint verify build #3350: Pull request #1452 synchronize by konnov
May 31, 2024 12:57 5m 4s konnov:igor/server-url
konnov:igor/server-url
May 31, 2024 12:57 5m 4s
Quality-of-life improvements to quint verify build #3349: Pull request #1452 synchronize by konnov
May 29, 2024 17:31 6h 0m 23s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:31 6h 0m 23s
Quality-of-life improvements to quint verify build #3348: Pull request #1452 synchronize by konnov
May 29, 2024 17:21 5m 28s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:21 5m 28s
Quality-of-life improvements to quint verify build #3347: Pull request #1452 synchronize by konnov
May 29, 2024 17:11 5m 51s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:11 5m 51s
Quality-of-life improvements to quint verify build #3346: Pull request #1452 synchronize by konnov
May 29, 2024 17:10 8m 18s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:10 8m 18s
Quality-of-life improvements to quint verify build #3345: Pull request #1452 synchronize by konnov
May 29, 2024 17:08 4m 56s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:08 4m 56s
Quality-of-life improvements to quint verify build #3344: Pull request #1452 synchronize by konnov
May 29, 2024 17:05 6h 0m 23s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:05 6h 0m 23s
Quality-of-life improvements to quint verify build #3343: Pull request #1452 synchronize by konnov
May 29, 2024 17:03 6h 0m 25s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:03 6h 0m 25s
Quality-of-life improvements to quint verify build #3342: Pull request #1452 opened by konnov
May 29, 2024 17:01 6h 0m 29s konnov:igor/server-url
konnov:igor/server-url
May 29, 2024 17:01 6h 0m 29s
Merge pull request #1447 from informalsystems/vscode-release/0.14.4 build #3341: Commit 9d7ad15 pushed by bugarela
May 22, 2024 17:04 5m 15s main
main
May 22, 2024 17:04 5m 15s
VSCode Release v0.14.4 build #3340: Pull request #1447 opened by bugarela
May 22, 2024 16:48 4m 57s vscode-release/0.14.4
vscode-release/0.14.4
May 22, 2024 16:48 4m 57s
Release v0.20.0 release #33: Commit d763932 pushed by bugarela
May 22, 2024 16:38 1m 17s v0.20.0
v0.20.0
May 22, 2024 16:38 1m 17s
Merge pull request #1446 from informalsystems/release/0.20.0 build #3339: Commit 802268c pushed by bugarela
May 22, 2024 16:38 5m 2s main
main
May 22, 2024 16:38 5m 2s
Release v0.20.0 build #3338: Pull request #1446 opened by bugarela
May 22, 2024 16:31 5m 13s release/0.20.0
release/0.20.0
May 22, 2024 16:31 5m 13s
Merge pull request #1442 from informalsystems/gabriela/all-lists-up-to build #3337: Commit 2942b23 pushed by bugarela
May 22, 2024 14:21 6m 52s main
main
May 22, 2024 14:21 6m 52s
Introduce allListsUpTo build #3336: Pull request #1442 synchronize by bugarela
May 22, 2024 12:19 5m 17s gabriela/all-lists-up-to
gabriela/all-lists-up-to
May 22, 2024 12:19 5m 17s
Introduce allListsUpTo build #3335: Pull request #1442 synchronize by bugarela
May 22, 2024 12:14 5m 34s gabriela/all-lists-up-to
gabriela/all-lists-up-to
May 22, 2024 12:14 5m 34s