Skip to content

Actions: Drup/dowsing

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: easy bug reproduction Build #351: Commit 5c46ffb pushed by FardaleM
November 25, 2024 16:20 6m 47s tuple_multiset
tuple_multiset
November 25, 2024 16:20 6m 47s
Feat: New stat folder for the tools to make stat on dowsing Build #350: Commit 44c921b pushed by FardaleM
November 4, 2024 16:08 5m 36s master
master
November 4, 2024 16:08 5m 36s
Misc printing improvement. Build #349: Commit 0daa70d pushed by Drup
October 31, 2024 16:58 3m 5s type_aliases
type_aliases
October 31, 2024 16:58 3m 5s
Misc printing improvement. Build #348: Commit 8c3ece1 pushed by Drup
October 31, 2024 16:53 3m 51s type_aliases
type_aliases
October 31, 2024 16:53 3m 51s
fix: adapt bench/bench.ml to the new API Build #347: Commit e1e2f4d pushed by FardaleM
October 31, 2024 14:04 3m 32s master
master
October 31, 2024 14:04 3m 32s
WIP Automorphisms Build #346: Commit 066a248 pushed by Drup
October 31, 2024 09:54 3m 8s automorphism
automorphism
October 31, 2024 09:54 3m 8s
Small API cleanup. Build #345: Commit a9d2e86 pushed by Drup
October 31, 2024 09:44 3m 10s no_ranges
no_ranges
October 31, 2024 09:44 3m 10s
feat: add bench a utility Build #344: Commit a2cd261 pushed by FardaleM
October 30, 2024 18:06 4m 16s master
master
October 30, 2024 18:06 4m 16s
chore: use the newly introduced Db.Feature.compatible Build #343: Commit 617cbeb pushed by FardaleM
October 28, 2024 10:24 3m 36s master
master
October 28, 2024 10:24 3m 36s
Actually use the hints for Matching. Build #342: Commit e2d94ea pushed by FardaleM
October 28, 2024 10:07 3m 49s master
master
October 28, 2024 10:07 3m 49s
feat: improve the Arrow solver. Build #341: Commit 76380fd pushed by FardaleM
October 28, 2024 09:11 8m 48s master
master
October 28, 2024 09:11 8m 48s
fix test Build #340: Commit ec6514e pushed by FardaleM
October 17, 2024 09:24 3m 15s master
master
October 17, 2024 09:24 3m 15s
feat: use dichotomi to implement NSet.add Build #339: Commit 0d2cc0a pushed by FardaleM
October 11, 2024 16:56 3m 10s faster_nset
faster_nset
October 11, 2024 16:56 3m 10s
fix bugs in the collapse after occur_check Build #338: Commit 0cb4618 pushed by FardaleM
October 10, 2024 10:47 3m 11s acu
acu
October 10, 2024 10:47 3m 11s
Feat: Introduce NSet.flatten Build #337: Commit 34fbbc3 pushed by FardaleM
October 9, 2024 22:47 3m 11s faster_nset
faster_nset
October 9, 2024 22:47 3m 11s
Feat: Introduce NSet.flatten Build #336: Commit a32891d pushed by FardaleM
October 9, 2024 16:09 4m 21s faster_nset
faster_nset
October 9, 2024 16:09 4m 21s
fix Type.refresh_variables to keep the flags Build #335: Commit 521a441 pushed by FardaleM
October 7, 2024 18:19 3m 46s acu
acu
October 7, 2024 18:19 3m 46s
update test/assets/fmt.odoc{,l} Build #334: Commit 38bb656 pushed by FardaleM
October 7, 2024 17:46 6m 5s master
master
October 7, 2024 17:46 6m 5s
feat(Scheme): add possiblity to add flags to variable. Build #333: Commit 1dee844 pushed by FardaleM
October 7, 2024 17:45 3m 51s acu
acu
October 7, 2024 17:45 3m 51s
fix bug in Env.commit Build #332: Commit 993e160 pushed by FardaleM
October 7, 2024 12:59 8m 26s master
master
October 7, 2024 12:59 8m 26s
Add new Occur_check implementation Build #331: Commit 10ce46d pushed by FardaleM
October 2, 2024 09:34 6m 19s acu
acu
October 2, 2024 09:34 6m 19s
Small API cleanup. Build #330: Commit efc1227 pushed by Drup
September 13, 2024 21:53 6m 18s no_ranges
no_ranges
September 13, 2024 21:53 6m 18s
update tests Build #329: Commit 0e938a4 pushed by FardaleM
August 30, 2024 10:39 3m 8s acu
acu
August 30, 2024 10:39 3m 8s
Add a new line to separate unifier with cmd unify Build #328: Commit 02d288b pushed by FardaleM
August 30, 2024 09:54 3m 27s acu
acu
August 30, 2024 09:54 3m 27s
Fix counting of arrow solutions Build #327: Commit 829678b pushed by FardaleM
August 30, 2024 09:16 6m 59s master
master
August 30, 2024 09:16 6m 59s