Skip to content

Actions: hopv/rethfl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add --smt-output-dir option CI #22: Commit a962109 pushed by moratorium08
October 7, 2024 08:44 9m 36s master
master
October 7, 2024 08:44 9m 36s
Run peephole until saturation CI #21: Commit 5dbeae6 pushed by moratorium08
September 24, 2024 05:15 7m 34s master
master
September 24, 2024 05:15 7m 34s
Merge pull request #10 from hopv/preproc-abs-app-peephole CI #20: Commit a5fc241 pushed by moratorium08
July 20, 2024 17:03 4m 43s master
master
July 20, 2024 17:03 4m 43s
Add preproc "Peephole" that implements beta-reduction CI #19: Pull request #10 opened by moratorium08
July 20, 2024 16:53 4m 43s preproc-abs-app-peephole
preproc-abs-app-peephole
July 20, 2024 16:53 4m 43s
Add preproc "Peephole" that implements beta-reduction CI #18: Commit 4e8713a pushed by moratorium08
July 20, 2024 16:43 4m 47s preproc-abs-app-peephole
preproc-abs-app-peephole
July 20, 2024 16:43 4m 47s
Merge pull request #9 from hopv/ci CI #17: Commit 942da3b pushed by KenSakayori
July 20, 2024 12:19 8m 4s master
master
July 20, 2024 12:19 8m 4s
(github actions) update setup-ocaml CI #16: Pull request #9 opened by KenSakayori
July 20, 2024 12:10 7m 37s ci
ci
July 20, 2024 12:10 7m 37s
(github actions) update setup-ocaml CI #15: Commit 3090339 pushed by KenSakayori
July 20, 2024 11:58 8m 41s ci
ci
July 20, 2024 11:58 8m 41s
remove disjunctions by default CI #14: Pull request #8 opened by KenSakayori
July 20, 2024 11:54 8m 45s no-remove-disjunction
no-remove-disjunction
July 20, 2024 11:54 8m 45s
remove disjunctions by default CI #13: Commit 02b8e64 pushed by KenSakayori
July 20, 2024 11:48 8m 33s no-remove-disjunction
no-remove-disjunction
July 20, 2024 11:48 8m 33s
Merge pull request #7 from hopv/arith-annot CI #12: Commit 47fa23f pushed by moratorium08
July 8, 2024 05:46 8m 22s master
master
July 8, 2024 05:46 8m 22s
Fix an uncaught exception of annot.arith CI #11: Pull request #7 opened by KenSakayori
July 8, 2024 05:24 8m 48s arith-annot
arith-annot
July 8, 2024 05:24 8m 48s
Fix an uncaught exception of annot.arith CI #10: Commit 9a10ff6 pushed by KenSakayori
July 8, 2024 05:23 10m 7s arith-annot
arith-annot
July 8, 2024 05:23 10m 7s
Merge pull request #6 from hopv/show-refinement-dual CI #9: Commit 89d56ab pushed by moratorium08
March 18, 2024 02:25 15m 6s master
master
March 18, 2024 02:25 15m 6s
fix show-refinement when dual chc is used CI #8: Pull request #6 opened by KenSakayori
March 16, 2024 09:43 15m 17s show-refinement-dual
show-refinement-dual
March 16, 2024 09:43 15m 17s
fix showing refinement types when dual chc is used CI #7: Commit 64d6bcf pushed by KenSakayori
March 16, 2024 09:29 12m 11s show-refinement-dual
show-refinement-dual
March 16, 2024 09:29 12m 11s
Merge pull request #5 from hopv/gh-actions CI #6: Commit 4c7a1cc pushed by moratorium08
March 14, 2024 02:04 15m 22s master
master
March 14, 2024 02:04 15m 22s
Set up GitHub Actions CI #5: Pull request #5 opened by KenSakayori
March 13, 2024 10:46 12m 34s gh-actions
gh-actions
March 13, 2024 10:46 12m 34s
add a status badge CI #4: Commit 8942d10 pushed by KenSakayori
March 1, 2024 04:18 15m 53s gh-actions
gh-actions
March 1, 2024 04:18 15m 53s
retry ci CI #3: Commit ea9c0a7 pushed by KenSakayori
March 1, 2024 04:04 9m 42s gh-actions
gh-actions
March 1, 2024 04:04 9m 42s
retry ci CI #2: Commit 38385ac pushed by KenSakayori
March 1, 2024 03:45 7m 50s gh-actions
gh-actions
March 1, 2024 03:45 7m 50s
set up github actions CI #1: Commit 0946fd1 pushed by KenSakayori
March 1, 2024 03:31 11m 53s gh-actions
gh-actions
March 1, 2024 03:31 11m 53s