Skip to content

Actions: informalsystems/quint

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
1,331 workflow runs
1,331 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Store the whole def in Defintion and introduce QuintDeclaration build #2496: Pull request #1105 synchronize by bugarela
August 10, 2023 20:34 7m 48s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 10, 2023 20:34 7m 48s
Store the whole def in Defintion and introduce QuintDeclaration build #2495: Pull request #1105 opened by bugarela
August 10, 2023 20:25 9m 56s gabriela/new-definitions-and-declarations
gabriela/new-definitions-and-declarations
August 10, 2023 20:25 9m 56s
Merge pull request #1104 from informalsystems/gabriela/definition-upd… build #2494: Commit cca518b pushed by bugarela
August 9, 2023 18:30 10m 49s main
main
August 9, 2023 18:30 10m 49s
Namespacer and ID Refresher build #2493: Pull request #1104 synchronize by bugarela
August 9, 2023 18:18 11m 21s gabriela/definition-update-procedure-extraction
gabriela/definition-update-procedure-extraction
August 9, 2023 18:18 11m 21s
Namespacer and ID Refresher build #2492: Pull request #1104 synchronize by bugarela
August 9, 2023 12:42 10m 35s gabriela/definition-update-procedure-extraction
gabriela/definition-update-procedure-extraction
August 9, 2023 12:42 10m 35s
Namespacer and ID Refresher build #2491: Pull request #1104 synchronize by bugarela
August 9, 2023 12:33 9m 48s gabriela/definition-update-procedure-extraction
gabriela/definition-update-procedure-extraction
August 9, 2023 12:33 9m 48s
Merge pull request #1087 from informalsystems/gabriela/flattening-adr build #2490: Commit bbc16dd pushed by bugarela
August 8, 2023 13:33 12m 28s main
main
August 8, 2023 13:33 12m 28s
Add ADR 7 on flattening build #2489: Pull request #1087 synchronize by bugarela
August 8, 2023 13:07 25m 38s gabriela/flattening-adr
gabriela/flattening-adr
August 8, 2023 13:07 25m 38s
Add ADR 7 on flattening build #2488: Pull request #1087 synchronize by bugarela
August 8, 2023 13:07 20m 22s gabriela/flattening-adr
gabriela/flattening-adr
August 8, 2023 13:07 20m 22s
Merge pull request #1095 from informalsystems/ph/add-map-remove-all build #2487: Commit b7a5339 pushed by bugarela
August 7, 2023 17:15 10m 28s main
main
August 7, 2023 17:15 10m 28s
Add syntax for constructing and eliminating sum type values build #2486: Pull request #1093 synchronize by shonfeder
August 7, 2023 14:27 43m 17s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 7, 2023 14:27 43m 17s
Add syntax for constructing and eliminating sum type values build #2485: Pull request #1093 synchronize by shonfeder
August 7, 2023 14:27 37m 8s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 7, 2023 14:27 37m 8s
Add syntax for constructing and eliminating sum type values build #2484: Pull request #1093 synchronize by shonfeder
August 7, 2023 14:27 32m 0s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 7, 2023 14:27 32m 0s
Add syntax for constructing and eliminating sum type values build #2483: Pull request #1093 synchronize by shonfeder
August 7, 2023 14:26 32m 18s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 7, 2023 14:26 32m 18s
Add syntax for constructing and eliminating sum type values build #2482: Pull request #1093 synchronize by shonfeder
August 7, 2023 14:26 23m 12s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 7, 2023 14:26 23m 12s
Add syntax for constructing and eliminating sum type values build #2481: Pull request #1093 synchronize by shonfeder
August 7, 2023 14:19 17m 32s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 7, 2023 14:19 17m 32s
Add mapRemoveAll to basic spells build #2480: Pull request #1095 synchronize by p-offtermatt
August 7, 2023 14:17 12m 6s ph/add-map-remove-all
ph/add-map-remove-all
August 7, 2023 14:17 12m 6s
Add mapRemoveAll to basic spells build #2479: Pull request #1095 opened by p-offtermatt
August 7, 2023 14:16 9m 52s ph/add-map-remove-all
ph/add-map-remove-all
August 7, 2023 14:16 9m 52s
Add ADR 7 on flattening build #2478: Pull request #1087 synchronize by bugarela
August 7, 2023 13:51 8m 36s gabriela/flattening-adr
gabriela/flattening-adr
August 7, 2023 13:51 8m 36s
Merge pull request #1092 from informalsystems/static-exhaustiveness-c… build #2477: Commit fd9bcda pushed by thpani
August 7, 2023 12:41 11m 20s main
main
August 7, 2023 12:41 11m 20s
Fix non-exhaustive switches build #2476: Pull request #1092 synchronize by thpani
August 7, 2023 12:30 10m 37s static-exhaustiveness-checks-on-visitor-switches
static-exhaustiveness-checks-on-visitor-switches
August 7, 2023 12:30 10m 37s
VSCode Release v0.7.0 build #2475: Commit 8a1e4fb pushed by shonfeder
August 6, 2023 22:15 9m 48s main
main
August 6, 2023 22:15 9m 48s
VSCode Release v0.7.0 build #2474: Pull request #1094 opened by shonfeder
August 6, 2023 21:57 10m 0s vscode-release/0.7.0
vscode-release/0.7.0
August 6, 2023 21:57 10m 0s
Add syntax for constructing and eliminating sum type values build #2473: Pull request #1093 synchronize by shonfeder
August 5, 2023 04:27 15m 3s sum-types/1082/match-and-constructor-syntax
sum-types/1082/match-and-constructor-syntax
August 5, 2023 04:27 15m 3s
RFC 001: Extend Quint type system to support Sum Types build #2472: Pull request #1062 synchronize by shonfeder
August 5, 2023 04:20 18m 23s 244/sum-types-design
244/sum-types-design
August 5, 2023 04:20 18m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-08-05 or the other filters available.