Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/icon-why3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add st.balance consistent with contract_balance Builds, tests & co #30: Pull request #28 opened by satos---jp
March 14, 2024 06:56 4m 54s satos---jp:satos@add-balance
satos---jp:satos@add-balance
March 14, 2024 06:56 4m 54s
prepare documents Builds, tests & co #29: Commit 977f028 pushed by westpaddy
March 13, 2024 07:25 21m 43s master
master
March 13, 2024 07:25 21m 43s
Add midambles Builds, tests & co #28: Pull request #26 opened by satos---jp
March 5, 2024 10:05 5m 7s satos---jp:satos@add-midambles
satos---jp:satos@add-midambles
March 5, 2024 10:05 5m 7s
Merge pull request #25 from camlspotter/jun@gen_wf_preambles Builds, tests & co #27: Commit 95f89f5 pushed by westpaddy
March 5, 2024 06:10 5m 47s master
master
March 5, 2024 06:10 5m 47s
Apply [@gen_wf] conversions to preambles Builds, tests & co #26: Pull request #25 synchronize by camlspotter
March 1, 2024 07:48 5m 5s camlspotter:jun@gen_wf_preambles
camlspotter:jun@gen_wf_preambles
March 1, 2024 07:48 5m 5s
Apply [@gen_wf] conversions to preambles Builds, tests & co #25: Pull request #25 opened by camlspotter
February 29, 2024 23:58 2m 50s camlspotter:jun@gen_wf_preambles
camlspotter:jun@gen_wf_preambles
February 29, 2024 23:58 2m 50s
Merge branch 'satos---jp-satos@pre-st-gp' Builds, tests & co #24: Commit 26e900b pushed by westpaddy
February 27, 2024 09:13 5m 11s master
master
February 27, 2024 09:13 5m 11s
Merge branch 'taiseiKMC-hsaito@add_level' Builds, tests & co #23: Commit 555c073 pushed by westpaddy
February 27, 2024 09:01 5m 22s master
master
February 27, 2024 09:01 5m 22s
Merge branch 'camlspotter-jun@storage_gen_wf' Builds, tests & co #22: Commit 492b8a8 pushed by westpaddy
February 27, 2024 08:21 5m 54s master
master
February 27, 2024 08:21 5m 54s
Allow why3 types for storages Builds, tests & co #21: Pull request #23 opened by camlspotter
February 27, 2024 06:28 3m 6s camlspotter:jun@storage_gen_wf
camlspotter:jun@storage_gen_wf
February 27, 2024 06:28 3m 6s
Enable pre-conditions of known contracts refer to a step constant and a gparam Builds, tests & co #20: Pull request #22 synchronize by satos---jp
February 22, 2024 09:41 5m 10s satos---jp:satos@pre-st-gp
satos---jp:satos@pre-st-gp
February 22, 2024 09:41 5m 10s
Enable pre-conditions of known contracts refer to a step constant and a gparam Builds, tests & co #19: Pull request #22 synchronize by satos---jp
February 22, 2024 09:36 5m 5s satos---jp:satos@pre-st-gp
satos---jp:satos@pre-st-gp
February 22, 2024 09:36 5m 5s
Enable pre-conditions of known contracts refer to a step constant and a gparam Builds, tests & co #18: Pull request #22 synchronize by satos---jp
February 22, 2024 09:35 5m 3s satos---jp:satos@pre-st-gp
satos---jp:satos@pre-st-gp
February 22, 2024 09:35 5m 3s
Enable pre-conditions of known contracts refer to a step constant and a gparam Builds, tests & co #17: Pull request #22 opened by satos---jp
February 22, 2024 09:29 3m 4s satos---jp:satos@pre-st-gp
satos---jp:satos@pre-st-gp
February 22, 2024 09:29 3m 4s
Draft: Allow to define any type Builds, tests & co #16: Pull request #20 synchronize by taiseiKMC
February 21, 2024 07:30 2m 40s taiseiKMC:hsaito/any_type_defs
taiseiKMC:hsaito/any_type_defs
February 21, 2024 07:30 2m 40s
Draft: Allow to define any type Builds, tests & co #15: Pull request #20 opened by taiseiKMC
February 21, 2024 07:29 2m 51s taiseiKMC:hsaito/any_type_defs
taiseiKMC:hsaito/any_type_defs
February 21, 2024 07:29 2m 51s
Add level, now, bytes, big_map, lambda to preambles Builds, tests & co #14: Pull request #19 opened by taiseiKMC
February 20, 2024 10:53 4m 34s taiseiKMC:hsaito@add_level
taiseiKMC:hsaito@add_level
February 20, 2024 10:53 4m 34s
Merge pull request #18 from westpaddy/nishida/ci-formatting Builds, tests & co #13: Commit 7da651e pushed by westpaddy
February 19, 2024 06:12 5m 32s master
master
February 19, 2024 06:12 5m 32s
Add settings for ocamlformat and CI to check if code is formatted Builds, tests & co #12: Pull request #18 synchronize by westpaddy
February 19, 2024 06:04 5m 9s westpaddy:nishida/ci-formatting
westpaddy:nishida/ci-formatting
February 19, 2024 06:04 5m 9s
Add settings for ocamlformat and CI to check if code is formatted Builds, tests & co #11: Pull request #18 synchronize by westpaddy
February 19, 2024 06:02 2m 21s westpaddy:nishida/ci-formatting
westpaddy:nishida/ci-formatting
February 19, 2024 06:02 2m 21s
Merge pull request #9 from satos---jp/satos@add-preamble-automatically Builds, tests & co #10: Commit da0c015 pushed by westpaddy
February 19, 2024 05:58 4m 39s master
master
February 19, 2024 05:58 4m 39s
Add settings for ocamlformat and CI to check if code is formatted Builds, tests & co #9: Pull request #18 synchronize by westpaddy
February 15, 2024 10:06 4m 42s westpaddy:nishida/ci-formatting
westpaddy:nishida/ci-formatting
February 15, 2024 10:06 4m 42s
Merge pull request #10 from camlspotter/jun@step-record Builds, tests & co #8: Commit bb8ad2e pushed by westpaddy
February 15, 2024 10:02 4m 36s master
master
February 15, 2024 10:02 4m 36s
Add settings for ocamlformat and CI to check if code is formatted Builds, tests & co #7: Pull request #18 opened by westpaddy
February 15, 2024 04:15 6m 8s westpaddy:nishida/ci-formatting
westpaddy:nishida/ci-formatting
February 15, 2024 04:15 6m 8s
Merge pull request #12 from westpaddy/nishida/fix-dependency Builds, tests & co #6: Commit 1cd9afa pushed by westpaddy
February 8, 2024 12:11 4m 52s master
master
February 8, 2024 12:11 4m 52s