Skip to content

Actions: Drup/dowsing

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update github action
Build #227: Commit a6f0a03 pushed by FardaleM
January 29, 2024 10:47 26s trace
January 29, 2024 10:47 26s
update github action
Build #226: Commit 1c4c974 pushed by FardaleM
January 29, 2024 10:44 15s trace
January 29, 2024 10:44 15s
Add basic tracing
Build #225: Commit d7ed103 pushed by FardaleM
January 22, 2024 10:33 10m 31s trace
January 22, 2024 10:33 10m 31s
Merge pull request #24 from Drup/revert_bugfix
Build #224: Commit 107e520 pushed by Drup
December 23, 2023 17:29 9m 23s fix_sol_iter
December 23, 2023 17:29 9m 23s
Merge pull request #23 from Drup/fix_sol_iter
Build #223: Commit 3076b09 pushed by Drup
December 23, 2023 17:29 12m 3s master
December 23, 2023 17:29 12m 3s
update diff_test
Build #222: Commit 6b2f048 pushed by FardaleM
December 23, 2023 14:14 8m 59s trace
December 23, 2023 14:14 8m 59s
Revert "bugfix"
Build #221: Pull request #24 opened by FardaleM
December 23, 2023 13:49 9m 34s revert_bugfix
December 23, 2023 13:49 9m 34s
Revert "bugfix"
Build #220: Commit 225ba67 pushed by FardaleM
December 23, 2023 13:47 9m 15s revert_bugfix
December 23, 2023 13:47 9m 15s
fix: Bitv and large_enough
Build #219: Pull request #23 opened by FardaleM
December 21, 2023 12:05 10m 9s fix_sol_iter
December 21, 2023 12:05 10m 9s
fix: Bitv and large_enough
Build #218: Commit aa3eaaf pushed by FardaleM
December 21, 2023 12:04 9m 45s fix_sol_iter
December 21, 2023 12:04 9m 45s
Merge pull request #22 from Drup/fix_bitv
Build #217: Commit f8d20bf pushed by Drup
December 14, 2023 13:14 13m 50s master
December 14, 2023 13:14 13m 50s
Merge pull request #21 from Drup/fix_deps
Build #216: Commit 51e0986 pushed by Drup
December 14, 2023 13:13 10m 38s master
December 14, 2023 13:13 10m 38s
fix: add missing dependencies
Build #215: Pull request #21 synchronize by FardaleM
December 12, 2023 12:03 1m 32s fix_deps
December 12, 2023 12:03 1m 32s
fix: add missing dependencies
Build #214: Commit 8e086a5 pushed by FardaleM
December 12, 2023 12:03 10m 42s fix_deps
December 12, 2023 12:03 10m 42s
fix(Bitv): fix the is_subset function
Build #213: Pull request #22 synchronize by FardaleM
December 4, 2023 18:30 10m 12s fix_bitv
December 4, 2023 18:30 10m 12s
fix(Bitv): fix the is_subset function
Build #212: Commit 6ffb0bc pushed by FardaleM
December 4, 2023 18:30 5m 6s fix_bitv
December 4, 2023 18:30 5m 6s
fix(Bitv): fix the is_subset function
Build #211: Pull request #22 opened by FardaleM
December 4, 2023 18:00 9m 52s fix_bitv
December 4, 2023 18:00 9m 52s
fix(Bitv): fix the is_subset function
Build #210: Commit b1d94d7 pushed by FardaleM
December 4, 2023 18:00 10m 23s fix_bitv
December 4, 2023 18:00 10m 23s
fix: add missing dependencies
Build #209: Pull request #21 opened by FardaleM
December 4, 2023 17:57 5m 35s fix_deps
December 4, 2023 17:57 5m 35s
fix: add missing dependencies
Build #208: Commit a7d84ad pushed by FardaleM
December 4, 2023 17:56 10m 49s fix_deps
December 4, 2023 17:56 10m 49s
Small fixes and make the project compile with ocaml 5.1
Build #207: Pull request #16 synchronize by FardaleM
November 22, 2023 11:18 13m 25s fix
fix
November 22, 2023 11:18 13m 25s
fix(Bitv): fix the is_subset function
Build #206: Commit 2f40f77 pushed by FardaleM
November 22, 2023 11:18 9m 25s fix
fix
November 22, 2023 11:18 9m 25s
Small fixes and make the project compile with ocaml 5.1
Build #205: Pull request #16 synchronize by FardaleM
November 20, 2023 23:46 10m 58s fix
fix
November 20, 2023 23:46 10m 58s
fix(Bitv): fix the is_subset function
Build #204: Commit b0a4f07 pushed by FardaleM
November 20, 2023 23:46 4m 56s fix
fix
November 20, 2023 23:46 4m 56s
Small fixes and make the project compile with ocaml 5.1
Build #203: Pull request #16 synchronize by FardaleM
November 20, 2023 20:08 4m 59s fix
fix
November 20, 2023 20:08 4m 59s