Skip to content

Actions: rudymatela/conjure

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
80 workflow runs
80 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

showDefn: golf
build #398: Commit 0ad7c9a pushed by rudymatela
February 20, 2024 11:09 17m 15s master
February 20, 2024 11:09 17m 15s
update runtimes
build #397: Commit d053274 pushed by rudymatela
February 18, 2024 15:13 19m 19s master
February 18, 2024 15:13 19m 19s
add notice on listfuns
build #396: Commit 6224695 pushed by rudymatela
February 18, 2024 14:34 1m 16s master
February 18, 2024 14:34 1m 16s
build
build #395: by rudymatela
February 16, 2024 14:01 18m 49s v0.5.14
February 16, 2024 14:01 18m 49s
dev version bump
build #394: Commit 8ce4772 pushed by rudymatela
February 16, 2024 14:01 19m 2s master
February 16, 2024 14:01 19m 2s
simplify pruning of commutative operators
build #393: Commit 659ccbe pushed by rudymatela
February 16, 2024 13:40 16m 54s master
February 16, 2024 13:40 16m 54s
print numbers of unique candidates
build #392: Commit ef9ebcb pushed by rudymatela
February 16, 2024 11:39 17m 2s master
February 16, 2024 11:39 17m 2s
add bench/unique to track unique candidates
build #391: Commit 4eaeafa pushed by rudymatela
February 16, 2024 11:25 18m 6s master
February 16, 2024 11:25 18m 6s
fix redundancy criteria description
build #390: Commit 2b2296e pushed by rudymatela
February 14, 2024 18:51 16m 58s master
February 14, 2024 18:51 16m 58s
fix program title
build #389: Commit 7cecc26 pushed by rudymatela
February 14, 2024 17:53 16m 53s master
February 14, 2024 17:53 16m 53s
update eg/sort comment
build #388: Commit 2d2570c pushed by rudymatela
February 14, 2024 15:03 17m 16s master
February 14, 2024 15:03 17m 16s
strategies: add interesting commented-out options
build #387: Commit 2a1980e pushed by rudymatela
February 14, 2024 14:47 17m 25s master
February 14, 2024 14:47 17m 25s
merge copy and ad-hoc
build #386: Commit 87290d3 pushed by rudymatela
February 14, 2024 14:37 17m 11s master
February 14, 2024 14:37 17m 11s
add rewriting switch
build #385: Commit 4ea4d79 pushed by rudymatela
February 14, 2024 13:34 16m 46s master
February 14, 2024 13:34 16m 46s
run "make bench" on lapmatrud (Speculate v0.4.20)
build #384: Commit 5773511 pushed by rudymatela
February 13, 2024 12:48 17m 11s master
February 13, 2024 12:48 17m 11s
build
build #383: by rudymatela
February 13, 2024 10:08 18m 13s v0.5.12
February 13, 2024 10:08 18m 13s
dev version bump
build #382: Commit 181d114 pushed by rudymatela
February 13, 2024 10:08 18m 17s master
February 13, 2024 10:08 18m 17s
bump speculate requirement to >= 0.4.20
build #381: Commit daa7894 pushed by rudymatela
February 13, 2024 09:45 18m 21s master
February 13, 2024 09:45 18m 21s
stack.yaml: bump speculate requirement
build #380: Commit 992f142 pushed by rudymatela
February 12, 2024 17:17 17m 35s master
February 12, 2024 17:17 17m 35s
bump speculate requirement to v0.4.18
build #379: Commit 2628d4e pushed by rudymatela
February 12, 2024 14:25 19m 33s master
February 12, 2024 14:25 19m 33s
fix bug in commutativeOperators function
build #378: Commit ba2ba85 pushed by rudymatela
February 9, 2024 16:55 16m 55s master
February 9, 2024 16:55 16m 55s
whitespace changes to trigger CI build
build #377: Commit d43f114 pushed by rudymatela
February 9, 2024 09:50 16m 52s master
February 9, 2024 09:50 16m 52s
rework CI scripts
build #376: Commit deabf2b pushed by rudymatela
February 9, 2024 09:21 18m 25s master
February 9, 2024 09:21 18m 25s
rework CI scripts
build #375: Commit deabf2b pushed by rudymatela
February 9, 2024 09:02 18m 33s ci/new
February 9, 2024 09:02 18m 33s
run "make bench" for good measure
build #374: Commit 9ceb5be pushed by rudymatela
February 5, 2024 14:12 9m 13s master
February 5, 2024 14:12 9m 13s