Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow run results
23 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix the tutorial (#1214) build #2788: Commit bf28c76 pushed by konnov
October 10, 2023 15:29 11m 33s main
main
October 10, 2023 15:29 11m 33s
print the seed on success build #2787: Pull request #1213 synchronize by konnov
October 10, 2023 15:15 11m 42s igor/run-seed1160
igor/run-seed1160
October 10, 2023 15:15 11m 42s
Fix pure defs and vals in tutorial 4 build #2786: Pull request #1214 synchronize by konnov
October 10, 2023 15:15 14m 28s igor/tutorial4-pure1157
igor/tutorial4-pure1157
October 10, 2023 15:15 14m 28s
Properly override checker.tuning (#1216) build #2785: Commit fe613f2 pushed by thpani
October 10, 2023 14:27 10m 5s main
main
October 10, 2023 14:27 10m 5s
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