Skip to content

Actions: AdrienChampion/hoice

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: preproc generic cause triviality check ci #26: Commit 5e25561 pushed by AdrienChampion
January 15, 2024 10:43 6m 30s preproc_trivial_timeout
preproc_trivial_timeout
January 15, 2024 10:43 6m 30s
chore: revert triviality checks for no-preds-no-rhs clauses ci #25: Commit fb8d1b9 pushed by AdrienChampion
January 15, 2024 10:31 4m 48s preproc_trivial_timeout
preproc_trivial_timeout
January 15, 2024 10:31 4m 48s
fix: improve preproc triviality checks ci #24: Commit 18a7304 pushed by AdrienChampion
January 15, 2024 10:25 4m 19s preproc_trivial_timeout
preproc_trivial_timeout
January 15, 2024 10:25 4m 19s
Merge pull request #66 from hopv/issue_65 ci #23: Commit bc18c47 pushed by AdrienChampion
January 15, 2024 09:25 6m 47s preproc_trivial_timeout
preproc_trivial_timeout
January 15, 2024 09:25 6m 47s
Merge pull request #66 from hopv/issue_65 ci #22: Commit bc18c47 pushed by AdrienChampion
January 15, 2024 09:24 4m 15s master
master
January 15, 2024 09:24 4m 15s
fix: prevent stack overflow in array store/select creation ci #21: Commit 247fe26 pushed by AdrienChampion
September 6, 2023 10:22 9m 14s issue_63
issue_63
September 6, 2023 10:22 9m 14s