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

Improve error recoverability in ToIrListener build #2809: Pull request #1223 synchronize by bugarela
October 18, 2023 20:28 10m 1s gabriela/improve-parsing-error-recovery
gabriela/improve-parsing-error-recovery
October 18, 2023 20:28 10m 1s
Improve error recoverability in ToIrListener build #2808: Pull request #1223 synchronize by bugarela
October 18, 2023 20:26 9m 41s gabriela/improve-parsing-error-recovery
gabriela/improve-parsing-error-recovery
October 18, 2023 20:26 9m 41s
Improve error recoverability in ToIrListener build #2807: Pull request #1223 opened by bugarela
October 18, 2023 20:07 9m 51s gabriela/improve-parsing-error-recovery
gabriela/improve-parsing-error-recovery
October 18, 2023 20:07 9m 51s
Merge pull request #1222 from informalsystems/gabriela/fix-const-over… build #2806: Commit 19f877b pushed by bugarela
October 17, 2023 13:51 12m 50s main
main
October 17, 2023 13:51 12m 50s
Fix const override test fixture build #2805: Pull request #1222 opened by bugarela
October 16, 2023 19:26 6m 23s gabriela/fix-const-override-test
gabriela/fix-const-override-test
October 16, 2023 19:26 6m 23s
Merge pull request #1220 from informalsystems/gabriela/parsing-partia… build #2804: Commit 01c5f83 pushed by bugarela
October 16, 2023 19:20 10m 7s main
main
October 16, 2023 19:20 10m 7s
Error recovery between parsing phases build #2803: Pull request #1220 synchronize by bugarela
October 16, 2023 19:03 9m 36s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 16, 2023 19:03 9m 36s
Error recovery between parsing phases build #2802: Pull request #1220 synchronize by bugarela
October 16, 2023 18:56 9m 48s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 16, 2023 18:56 9m 48s
extracting error explanation into a separate parser build #2801: Pull request #1221 synchronize by konnov
October 13, 2023 14:17 8m 12s igor/syntax-errors17
igor/syntax-errors17
October 13, 2023 14:17 8m 12s
extracting error explanation into a separate parser build #2800: Pull request #1221 synchronize by konnov
October 13, 2023 11:41 9m 23s igor/syntax-errors17
igor/syntax-errors17
October 13, 2023 11:41 9m 23s
extracting error explanation into a separate parser build #2799: Pull request #1221 synchronize by konnov
October 13, 2023 09:45 9m 11s igor/syntax-errors17
igor/syntax-errors17
October 13, 2023 09:45 9m 11s
extracting error explanation into a separate parser build #2798: Pull request #1221 opened by konnov
October 13, 2023 09:45 11m 48s igor/syntax-errors17
igor/syntax-errors17
October 13, 2023 09:45 11m 48s
Error recovery between parsing phases build #2797: Pull request #1220 synchronize by bugarela
October 11, 2023 18:53 11m 25s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 11, 2023 18:53 11m 25s
Error recovery between parsing phases build #2796: Pull request #1220 synchronize by bugarela
October 11, 2023 18:38 8m 25s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 11, 2023 18:38 8m 25s
Error recovery between parsing phases build #2795: Pull request #1220 synchronize by bugarela
October 11, 2023 17:51 10m 15s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 11, 2023 17:51 10m 15s
print the seed on success (#1213) build #2794: Commit e01043c pushed by konnov
October 11, 2023 16:54 7m 34s main
main
October 11, 2023 16:54 7m 34s
print the seed on success build #2793: Pull request #1213 synchronize by konnov
October 11, 2023 16:44 9m 49s igor/run-seed1160
igor/run-seed1160
October 11, 2023 16:44 9m 49s
Catch errors when reading Apalache config build #2792: Commit b00b835 pushed by thpani
October 11, 2023 15:19 9m 44s main
main
October 11, 2023 15:19 9m 44s
Error recovery between parsing phases build #2791: Pull request #1220 synchronize by bugarela
October 11, 2023 15:04 11m 56s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 11, 2023 15:04 11m 56s
Error recovery between parsing phases build #2790: Pull request #1220 opened by bugarela
October 11, 2023 12:52 14m 26s gabriela/parsing-partial-results
gabriela/parsing-partial-results
October 11, 2023 12:52 14m 26s
Fixes for --apalache-config build #2789: Pull request #1218 opened by thpani
October 11, 2023 09:09 8m 31s th/fix-apal-config
th/fix-apal-config
October 11, 2023 09:09 8m 31s
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