From abdd664ffb27951d3313085293d317bca0662f95 Mon Sep 17 00:00:00 2001 From: Hayato Ohhashi Date: Sun, 23 Aug 2026 11:24:36 +0900 Subject: [PATCH 1/6] ci: trigger pinned Sail H validation --- VALIDATE.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 VALIDATE.md diff --git a/VALIDATE.md b/VALIDATE.md new file mode 100644 index 00000000..563ab186 --- /dev/null +++ b/VALIDATE.md @@ -0,0 +1 @@ +Pinned Sail RISC-V H Lean generation validation run. From fbb90a6377900e372ba9b9361717bccd331caaf2 Mon Sep 17 00:00:00 2001 From: Hayato Ohhashi Date: Sun, 23 Aug 2026 11:39:10 +0900 Subject: [PATCH 2/6] ci: rerun official default Sail Lean generation --- VALIDATE.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/VALIDATE.md b/VALIDATE.md index 563ab186..69861897 100644 --- a/VALIDATE.md +++ b/VALIDATE.md @@ -1 +1,3 @@ Pinned Sail RISC-V H Lean generation validation run. + +Validation input: official default module closure. From 3588e90e9079269f41a79be7d9752bb2ae268443 Mon Sep 17 00:00:00 2001 From: Hayato Ohhashi Date: Sun, 23 Aug 2026 11:46:31 +0900 Subject: [PATCH 3/6] ci: trigger both Sail validation workflows --- VALIDATE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/VALIDATE.md b/VALIDATE.md index 69861897..2a4bdcd6 100644 --- a/VALIDATE.md +++ b/VALIDATE.md @@ -1,3 +1,4 @@ Pinned Sail RISC-V H Lean generation validation run. Validation input: official default module closure. +Validation methods: pinned source compiler and pinned 0.20.2 release binary. From d197a000e9debf32cc1490ee15b7c92a06c17a4e Mon Sep 17 00:00:00 2001 From: Hayato Ohhashi Date: Sun, 23 Aug 2026 11:57:43 +0900 Subject: [PATCH 4/6] ci: trigger downloadable Sail source artifact --- VALIDATE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/VALIDATE.md b/VALIDATE.md index 2a4bdcd6..8b1119ac 100644 --- a/VALIDATE.md +++ b/VALIDATE.md @@ -2,3 +2,4 @@ Pinned Sail RISC-V H Lean generation validation run. Validation input: official default module closure. Validation methods: pinned source compiler and pinned 0.20.2 release binary. +Downloadable source-artifact workflow enabled. From 1feb82f8c5a5008dd57dee8186794af31286eb9b Mon Sep 17 00:00:00 2001 From: Hayato Ohhashi Date: Sun, 23 Aug 2026 12:02:32 +0900 Subject: [PATCH 5/6] ci: trigger fast upload of existing Sail source --- VALIDATE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/VALIDATE.md b/VALIDATE.md index 8b1119ac..7943f610 100644 --- a/VALIDATE.md +++ b/VALIDATE.md @@ -3,3 +3,4 @@ Pinned Sail RISC-V H Lean generation validation run. Validation input: official default module closure. Validation methods: pinned source compiler and pinned 0.20.2 release binary. Downloadable source-artifact workflow enabled. +Existing generated source upload workflow enabled. From 2835e150c633754ad89531ceffad7bc291b94e02 Mon Sep 17 00:00:00 2001 From: Hayato Ohhashi Date: Sun, 23 Aug 2026 12:05:03 +0900 Subject: [PATCH 6/6] ci: trigger lean-sail v5 source upload --- VALIDATE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/VALIDATE.md b/VALIDATE.md index 7943f610..f914a355 100644 --- a/VALIDATE.md +++ b/VALIDATE.md @@ -4,3 +4,4 @@ Validation input: official default module closure. Validation methods: pinned source compiler and pinned 0.20.2 release binary. Downloadable source-artifact workflow enabled. Existing generated source upload workflow enabled. +Pinned lean-sail v5 source upload enabled.