Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1112 from informalsystems/gabriela/fix-repl-load-… build #2522: Commit dd22552 pushed by bugarela
August 22, 2023 15:34 10m 55s main
main
August 22, 2023 15:34 10m 55s
Fix problem with loading module in the REPL build #2521: Pull request #1112 synchronize by bugarela
August 22, 2023 13:01 41m 46s gabriela/fix-repl-load-module
gabriela/fix-repl-load-module
August 22, 2023 13:01 41m 46s
Fix problem with loading module in the REPL build #2520: Pull request #1112 synchronize by bugarela
August 22, 2023 13:00 36m 4s gabriela/fix-repl-load-module
gabriela/fix-repl-load-module
August 22, 2023 13:00 36m 4s
Fix problem with loading module in the REPL build #2519: Pull request #1112 opened by bugarela
August 22, 2023 12:57 18m 29s gabriela/fix-repl-load-module
gabriela/fix-repl-load-module
August 22, 2023 12:57 18m 29s
Merge pull request #1109 from informalsystems/gabriela/new-flattening… build #2518: Commit 7715942 pushed by bugarela
August 21, 2023 18:46 11m 24s main
main
August 21, 2023 18:46 11m 24s
New flattening for imports and exports build #2517: Pull request #1109 synchronize by bugarela
August 21, 2023 18:20 26m 43s gabriela/new-flattening-for-imports-and-exports
gabriela/new-flattening-for-imports-and-exports
August 21, 2023 18:20 26m 43s
New flattening for imports and exports build #2516: Pull request #1109 synchronize by bugarela
August 21, 2023 18:13 13m 17s gabriela/new-flattening-for-imports-and-exports
gabriela/new-flattening-for-imports-and-exports
August 21, 2023 18:13 13m 17s
Update the example build #2515: Commit 99e35cb pushed by shonfeder
August 21, 2023 17:06 9m 44s main
main
August 21, 2023 17:06 9m 44s
RFC 001: Extend Quint type system to support Sum Types build #2514: Pull request #1062 synchronize by shonfeder
August 21, 2023 16:58 8m 31s 244/sum-types-design
244/sum-types-design
August 21, 2023 16:58 8m 31s
Merge pull request #1105 from informalsystems/gabriela/new-definition… build #2513: Commit f582870 pushed by bugarela
August 21, 2023 16:00 8m 17s main
main
August 21, 2023 16:00 8m 17s
RFC 001: Extend Quint type system to support Sum Types build #2512: Pull request #1062 synchronize by shonfeder
August 21, 2023 15:26 26m 17s 244/sum-types-design
244/sum-types-design
August 21, 2023 15:26 26m 17s
Store the whole def in Defintion and introduce QuintDeclaration build #2511: Pull request #1105 synchronize by bugarela
August 21, 2023 15:25 20m 51s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 21, 2023 15:25 20m 51s
Store the whole def in Defintion and introduce QuintDeclaration build #2510: Pull request #1105 synchronize by bugarela
August 21, 2023 15:24 11m 16s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 21, 2023 15:24 11m 16s
Store the whole def in Defintion and introduce QuintDeclaration build #2509: Pull request #1105 synchronize by bugarela
August 18, 2023 21:16 11m 28s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 18, 2023 21:16 11m 28s
Store the whole def in Defintion and introduce QuintDeclaration build #2508: Pull request #1105 synchronize by bugarela
August 18, 2023 21:07 9m 6s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 18, 2023 21:07 9m 6s
New flattening for imports and exports build #2507: Pull request #1109 synchronize by bugarela
August 18, 2023 21:04 11m 6s gabriela/new-flattening-for-imports-and-exports
gabriela/new-flattening-for-imports-and-exports
August 18, 2023 21:04 11m 6s
New flattening for imports and exports build #2506: Pull request #1109 synchronize by bugarela
August 17, 2023 20:41 29m 18s gabriela/new-flattening-for-imports-and-exports
gabriela/new-flattening-for-imports-and-exports
August 17, 2023 20:41 29m 18s
New flattening for imports and exports build #2505: Pull request #1109 synchronize by bugarela
August 17, 2023 20:39 12m 9s gabriela/new-flattening-for-imports-and-exports
gabriela/new-flattening-for-imports-and-exports
August 17, 2023 20:39 12m 9s
New flattening for imports and exports build #2504: Pull request #1109 opened by bugarela
August 17, 2023 20:36 11m 18s gabriela/new-flattening-for-imports-and-exports
gabriela/new-flattening-for-imports-and-exports
August 17, 2023 20:36 11m 18s
Add ADR008: Obtaining and Launching Apalache build #2503: Pull request #1106 synchronize by thpani
August 17, 2023 14:06 29m 39s th/rfc-manage-apalache
th/rfc-manage-apalache
August 17, 2023 14:06 29m 39s
Add ADR008: Obtaining and Launching Apalache build #2502: Pull request #1106 synchronize by thpani
August 17, 2023 13:44 22m 30s th/rfc-manage-apalache
th/rfc-manage-apalache
August 17, 2023 13:44 22m 30s
Store the whole def in Defintion and introduce QuintDeclaration build #2501: Pull request #1105 synchronize by bugarela
August 16, 2023 11:40 20m 46s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 16, 2023 11:40 20m 46s
Store the whole def in Defintion and introduce QuintDeclaration build #2500: Pull request #1105 synchronize by bugarela
August 16, 2023 11:31 11m 34s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 16, 2023 11:31 11m 34s
Store the whole def in Defintion and introduce QuintDeclaration build #2499: Pull request #1105 synchronize by bugarela
August 15, 2023 20:37 11m 24s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 15, 2023 20:37 11m 24s
Add toSet and toList spells build #2498: Pull request #1107 opened by p-offtermatt
August 11, 2023 12:13 10m 47s ph/to-set-to-list
ph/to-set-to-list
August 11, 2023 12:13 10m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-08-11 or the other filters available.