Skip to content

Actions: hopv/hoice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use word_opt instead of tag_opt ci #48: Pull request #72 opened by moratorium08
October 1, 2024 03:42 4m 1s moratorium08:patch-for-adt-bench
moratorium08:patch-for-adt-bench
October 1, 2024 03:42 4m 1s
Handle dtyp's dependency to other dtyps ci #47: Pull request #71 opened by moratorium08
October 1, 2024 03:33 4m 3s moratorium08:handle-dtyp-dependency
moratorium08:handle-dtyp-dependency
October 1, 2024 03:33 4m 3s
Add handling (just skip) for ! in forall ci #46: Pull request #70 opened by moratorium08
April 20, 2024 09:21 3m 54s moratorium08:handle-annotation
moratorium08:handle-annotation
April 20, 2024 09:21 3m 54s
Merge pull request #68 from AdrienChampion/preproc_trivial_timeout ci #45: Commit 03266ed pushed by ryosu-sato
April 1, 2024 10:56 6m 8s master
master
April 1, 2024 10:56 6m 8s
pages build and deployment pages-build-deployment #5: by ryosu-sato
April 1, 2024 10:56 40s
April 1, 2024 10:56 40s
fix: improve preproc triviality checks ci #44: Pull request #68 synchronize by AdrienChampion
January 15, 2024 10:43 5m 42s AdrienChampion:preproc_trivial_timeout
AdrienChampion:preproc_trivial_timeout
January 15, 2024 10:43 5m 42s
fix: improve preproc triviality checks ci #43: Pull request #68 opened by AdrienChampion
January 15, 2024 10:32 8m 37s AdrienChampion:preproc_trivial_timeout
AdrienChampion:preproc_trivial_timeout
January 15, 2024 10:32 8m 37s
Merge pull request #66 from hopv/issue_65 ci #42: Commit bc18c47 pushed by AdrienChampion
September 25, 2023 09:49 9m 34s master
master
September 25, 2023 09:49 9m 34s
pages build and deployment pages-build-deployment #4: by AdrienChampion
September 25, 2023 09:49 51s
September 25, 2023 09:49 51s
fix: exit gracefully on unknown result ci #41: Pull request #66 opened by AdrienChampion
September 25, 2023 09:25 6m 59s issue_65
issue_65
September 25, 2023 09:25 6m 59s
fix: exit gracefully on unknown result ci #40: Commit 41c6623 pushed by AdrienChampion
September 25, 2023 09:24 7m 20s issue_65
issue_65
September 25, 2023 09:24 7m 20s
Merge pull request #64 from AdrienChampion/issue_63 ci #39: Commit 581e814 pushed by AdrienChampion
September 6, 2023 10:32 7m 59s master
master
September 6, 2023 10:32 7m 59s
pages build and deployment pages-build-deployment #3: by AdrienChampion
September 6, 2023 10:32 1m 8s
September 6, 2023 10:32 1m 8s
fix: prevent stack overflow in array store/select creation ci #38: Pull request #64 opened by AdrienChampion
September 6, 2023 10:22 8m 3s AdrienChampion:issue_63
AdrienChampion:issue_63
September 6, 2023 10:22 8m 3s