Skip to content

Actions: informalsystems/quint

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
44 workflow run results
44 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Properly override checker.tuning build #2784: Pull request #1216 synchronize by thpani
October 10, 2023 12:32 10m 25s th/override-checker-tuning-config
th/override-checker-tuning-config
October 10, 2023 12:32 10m 25s
Properly override checker.tuning build #2783: Pull request #1216 opened by thpani
October 10, 2023 12:31 9m 21s th/override-checker-tuning-config
th/override-checker-tuning-config
October 10, 2023 12:31 9m 21s
Merge pull request #1211 from informalsystems/gabriela/quint-error-st… build #2782: Commit e693293 pushed by bugarela
October 10, 2023 11:45 45m 32s main
main
October 10, 2023 11:45 45m 32s
QuintError everywhere build #2781: Pull request #1211 synchronize by bugarela
October 10, 2023 11:14 30m 28s gabriela/quint-error-standard
gabriela/quint-error-standard
October 10, 2023 11:14 30m 28s
QuintError everywhere build #2780: Pull request #1211 synchronize by bugarela
October 10, 2023 11:02 35m 49s gabriela/quint-error-standard
gabriela/quint-error-standard
October 10, 2023 11:02 35m 49s
QuintError everywhere build #2779: Pull request #1211 synchronize by bugarela
October 10, 2023 11:02 30m 19s gabriela/quint-error-standard
gabriela/quint-error-standard
October 10, 2023 11:02 30m 19s
QuintError everywhere build #2778: Pull request #1211 synchronize by bugarela
October 10, 2023 11:00 19m 7s gabriela/quint-error-standard
gabriela/quint-error-standard
October 10, 2023 11:00 19m 7s
Fix pure defs and vals in tutorial 4 build #2777: Pull request #1214 opened by konnov
October 10, 2023 10:11 11m 54s igor/tutorial4-pure1157
igor/tutorial4-pure1157
October 10, 2023 10:11 11m 54s
print the seed on success build #2776: Pull request #1213 synchronize by konnov
October 10, 2023 10:04 10m 58s igor/run-seed1160
igor/run-seed1160
October 10, 2023 10:04 10m 58s
print the seed on success build #2775: Pull request #1213 opened by konnov
October 10, 2023 10:03 9m 24s igor/run-seed1160
igor/run-seed1160
October 10, 2023 10:03 9m 24s
remove the tuple unpacking code (#1210) build #2774: Commit 56d2a3c pushed by konnov
October 10, 2023 09:27 12m 29s main
main
October 10, 2023 09:27 12m 29s
remove the tuple unpacking code build #2773: Pull request #1210 synchronize by konnov
October 10, 2023 09:17 10m 31s igor/apres-tuple-unpacking
igor/apres-tuple-unpacking
October 10, 2023 09:17 10m 31s
QuintError everywhere build #2772: Pull request #1211 synchronize by bugarela
October 9, 2023 20:00 12m 10s gabriela/quint-error-standard
gabriela/quint-error-standard
October 9, 2023 20:00 12m 10s
QuintError everywhere build #2771: Pull request #1211 synchronize by bugarela
October 9, 2023 19:44 12m 13s gabriela/quint-error-standard
gabriela/quint-error-standard
October 9, 2023 19:44 12m 13s
QuintError everywhere build #2770: Pull request #1211 synchronize by bugarela
October 9, 2023 19:43 10m 36s gabriela/quint-error-standard
gabriela/quint-error-standard
October 9, 2023 19:43 10m 36s
QuintError everywhere build #2769: Pull request #1211 opened by bugarela
October 9, 2023 19:32 10m 25s gabriela/quint-error-standard
gabriela/quint-error-standard
October 9, 2023 19:32 10m 25s
remove the tuple unpacking code build #2768: Pull request #1210 synchronize by konnov
October 9, 2023 16:39 13m 59s igor/apres-tuple-unpacking
igor/apres-tuple-unpacking
October 9, 2023 16:39 13m 59s
remove the tuple unpacking code build #2767: Pull request #1210 synchronize by konnov
October 9, 2023 16:38 10m 30s igor/apres-tuple-unpacking
igor/apres-tuple-unpacking
October 9, 2023 16:38 10m 30s
remove the tuple unpacking code build #2766: Pull request #1210 opened by konnov
October 9, 2023 16:25 10m 14s igor/apres-tuple-unpacking
igor/apres-tuple-unpacking
October 9, 2023 16:25 10m 14s