Skip to content

Actions: AdrienChampion/hoice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 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