Skip to content

Actions: Gecode/gecode

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
38 workflow runs
38 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix CMake package discovery and streamline library setup. CI #44: Pull request #196 synchronize by Priyanka328
March 27, 2024 11:14 12m 23s Priyanka328:release/6.3.0
Priyanka328:release/6.3.0
March 27, 2024 11:14 12m 23s
Fix typos. CI #42: Commit f7f0d7c pushed by zayenz
March 15, 2024 15:07 11m 4s release/6.3.0
release/6.3.0
March 15, 2024 15:07 11m 4s
Fix typos. CI #37: Pull request #195 opened by waywardmonkeys
February 7, 2024 16:40 12m 12s waywardmonkeys:fix-typos
waywardmonkeys:fix-typos
February 7, 2024 16:40 12m 12s
Add documentation to gecode.mzn CI #36: Commit b977abc pushed by zayenz
January 29, 2024 12:43 11m 24s release/6.3.0
release/6.3.0
January 29, 2024 12:43 11m 24s
Add documentation to gecode.mzn CI #35: Pull request #193 opened by cyderize
January 28, 2024 22:27 10m 38s cyderize:mznlib_docs
cyderize:mznlib_docs
January 28, 2024 22:27 10m 38s
Add missing check for if restart_data was initialised CI #33: Commit 4a00bc5 pushed by zayenz
December 14, 2023 04:39 10m 10s release/6.3.0
release/6.3.0
December 14, 2023 04:39 10m 10s
Allow par identifiers var array initialisers for FlatZinc CI #32: Pull request #192 opened by cyderize
December 8, 2023 02:18 11m 6s cyderize:fix_parser
cyderize:fix_parser
December 8, 2023 02:18 11m 6s
cmake: Remove workaround for pthreads file. CI #31: Commit 18170c9 pushed by zayenz
December 6, 2023 06:22 15m 16s release/6.3.0
release/6.3.0
December 6, 2023 06:22 15m 16s
cmake: Remove workaround for pthreads file. CI #30: Pull request #190 synchronize by zayenz
December 6, 2023 05:22 10m 53s waywardmonkeys:remove-check-for-pthreads-file
waywardmonkeys:remove-check-for-pthreads-file
December 6, 2023 05:22 10m 53s
ci: Build and check with the autoconf build system. CI #29: Commit f2babad pushed by zayenz
December 6, 2023 05:22 14m 56s release/6.3.0
release/6.3.0
December 6, 2023 05:22 14m 56s
ci: Build and check with the autoconf build system. CI #28: Pull request #191 synchronize by waywardmonkeys
December 5, 2023 15:51 15m 34s waywardmonkeys:ci-build-autoconf
waywardmonkeys:ci-build-autoconf
December 5, 2023 15:51 15m 34s
ci: Build and check with the autoconf build system. CI #27: Pull request #191 synchronize by waywardmonkeys
December 5, 2023 15:48 12m 13s waywardmonkeys:ci-build-autoconf
waywardmonkeys:ci-build-autoconf
December 5, 2023 15:48 12m 13s
ci: Build and check with the autoconf build system. CI #26: Pull request #191 opened by waywardmonkeys
December 5, 2023 14:57 17m 44s waywardmonkeys:ci-build-autoconf
waywardmonkeys:ci-build-autoconf
December 5, 2023 14:57 17m 44s
cmake: Remove workaround for pthreads file. CI #25: Pull request #190 opened by waywardmonkeys
December 5, 2023 14:56 11m 29s waywardmonkeys:remove-check-for-pthreads-file
waywardmonkeys:remove-check-for-pthreads-file
December 5, 2023 14:56 11m 29s
Use std::chrono::steady_clock for timers. CI #24: Commit bc31c31 pushed by zayenz
December 5, 2023 05:59 15m 42s release/6.3.0
release/6.3.0
December 5, 2023 05:59 15m 42s
Use std::chrono::steady_clock for timers. CI #23: Pull request #189 synchronize by zayenz
December 4, 2023 20:32 19m 49s waywardmonkeys:use-std-chrono-for-timer
waywardmonkeys:use-std-chrono-for-timer
December 4, 2023 20:32 19m 49s
cmake: Add missing check for __builtin_popcountll(). CI #22: Commit 78f6a02 pushed by zayenz
December 4, 2023 20:30 15m 56s release/6.3.0
release/6.3.0
December 4, 2023 20:30 15m 56s
.gitignore: Add gecode-gist.msc CI #21: Commit 3fb05b3 pushed by zayenz
December 4, 2023 20:30 11m 25s release/6.3.0
release/6.3.0
December 4, 2023 20:30 11m 25s
Update Makefile.dep CI #20: Commit e243646 pushed by zayenz
December 4, 2023 20:30 15m 24s release/6.3.0
release/6.3.0
December 4, 2023 20:30 15m 24s
Always use unordered_map. CI #19: Commit 132c9bf pushed by zayenz
December 4, 2023 20:29 16m 45s release/6.3.0
release/6.3.0
December 4, 2023 20:29 16m 45s
Use std::chrono::steady_clock for timers. CI #18: Pull request #189 opened by waywardmonkeys
December 2, 2023 14:16 11m 14s waywardmonkeys:use-std-chrono-for-timer
waywardmonkeys:use-std-chrono-for-timer
December 2, 2023 14:16 11m 14s
cmake: Add missing check for __builtin_popcountll(). CI #17: Pull request #188 opened by waywardmonkeys
November 30, 2023 00:28 10m 45s waywardmonkeys:cmake-missing-popcount-check
waywardmonkeys:cmake-missing-popcount-check
November 30, 2023 00:28 10m 45s
.gitignore: Add gecode-gist.msc CI #16: Pull request #187 opened by waywardmonkeys
November 30, 2023 00:12 12m 20s waywardmonkeys:update-gitignore
waywardmonkeys:update-gitignore
November 30, 2023 00:12 12m 20s
Update Makefile.dep CI #15: Pull request #186 opened by waywardmonkeys
November 29, 2023 23:49 11m 58s waywardmonkeys:update-makefile-dep
waywardmonkeys:update-makefile-dep
November 29, 2023 23:49 11m 58s
Always use unordered_map. CI #14: Pull request #185 opened by waywardmonkeys
November 29, 2023 23:25 13m 3s waywardmonkeys:always-use-unorderedmap
waywardmonkeys:always-use-unorderedmap
November 29, 2023 23:25 13m 3s