Skip to content

Actions: jakobandersen/mod

Actions

Docker

Actions

Loading...

Show workflow options

Create status badge

Docker.yml
28 workflow runs
28 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Prepare for development Docker #62: Commit a414a65 pushed by jakobandersen
June 18, 2024 16:19 37m 38s develop
develop
June 18, 2024 16:19 37m 38s
Merge branch 'develop' Docker #61: Commit 0745af9 pushed by jakobandersen
June 18, 2024 16:14 28m 45s v0.16.0
v0.16.0
June 18, 2024 16:14 28m 45s
Merge branch 'develop' Docker #60: Commit 0745af9 pushed by jakobandersen
June 18, 2024 16:13 28m 2s master
master
June 18, 2024 16:13 28m 2s
[conda] Update Miniconda version for build Docker #59: Commit c793b3c pushed by jakobandersen
June 18, 2024 05:22 26m 55s develop
develop
June 18, 2024 05:22 26m 55s
[conda] Update Miniconda version for build Docker #58: Commit c793b3c pushed by jakobandersen
June 17, 2024 19:27 27m 3s conda-fixes
conda-fixes
June 17, 2024 19:27 27m 3s
[conda] Update Miniconda version for build Docker #57: Commit 747e3c2 pushed by jakobandersen
June 17, 2024 19:18 26m 54s conda-fixes
conda-fixes
June 17, 2024 19:18 26m 54s
[conda] Update Miniconda version for build Docker #56: Commit 4594ea3 pushed by jakobandersen
June 17, 2024 18:58 27m 10s conda-fixes
conda-fixes
June 17, 2024 18:58 27m 10s
Set release date Docker #55: Commit c80709a pushed by jakobandersen
June 17, 2024 18:10 28m 42s develop
develop
June 17, 2024 18:10 28m 42s
[hax] add config.dg.doRuleIsomorphismDuringBinding Docker #54: Commit 7bd0455 pushed by jakobandersen
June 13, 2024 07:22 28m 6s develop
develop
June 13, 2024 07:22 28m 6s
Docs, fix missing jquery in the build docs Docker #53: Commit c0f3e85 pushed by jakobandersen
April 17, 2024 14:06 27m 25s develop
develop
April 17, 2024 14:06 27m 25s
Rule, fix makeInverse when no external IDs Docker #52: Commit b221f94 pushed by jakobandersen
March 13, 2024 13:56 27m 9s develop
develop
March 13, 2024 13:56 27m 9s
CI, remove macos-11 Docker #51: Commit 49f2344 pushed by jakobandersen
March 4, 2024 08:53 28m 0s develop
develop
March 4, 2024 08:53 28m 0s
Fix adjacency constraint in term mode Docker #50: Commit 0bd0e8a pushed by jakobandersen
February 25, 2024 09:12 27m 1s develop
develop
February 25, 2024 09:12 27m 1s
Prepare for development Docker #49: Commit fcd82f2 pushed by jakobandersen
January 25, 2024 19:39 27m 12s develop
develop
January 25, 2024 19:39 27m 12s
Merge branch 'develop' Docker #48: Commit 19eaaac pushed by jakobandersen
January 23, 2024 10:22 27m 30s master
master
January 23, 2024 10:22 27m 30s
Merge branch 'develop' Docker #47: Commit 19eaaac pushed by jakobandersen
January 23, 2024 10:22 27m 38s v0.15.0
v0.15.0
January 23, 2024 10:22 27m 38s
macOS, add maybe_unused to squash warning Docker #46: Commit fd2c351 pushed by jakobandersen
January 20, 2024 19:45 27m 0s develop
develop
January 20, 2024 19:45 27m 0s
CI, fix Boost install Docker #45: Commit 52fce0c pushed by jakobandersen
January 20, 2024 15:43 22m 46s develop
develop
January 20, 2024 15:43 22m 46s
CI, fix macOS verions Docker #44: Commit 0b934cb pushed by jakobandersen
January 20, 2024 14:53 27m 34s develop
develop
January 20, 2024 14:53 27m 34s
Update for new version Docker #43: Commit cee5c88 pushed by jakobandersen
January 20, 2024 11:42 26m 27s develop
develop
January 20, 2024 11:42 26m 27s
Update copyright Docker #42: Commit 7465a72 pushed by jakobandersen
January 11, 2024 09:15 29m 56s develop
develop
January 11, 2024 09:15 29m 56s
Conda, update Python and Boost versions Docker #41: Commit 08bf954 pushed by jakobandersen
August 30, 2023 07:47 38m 26s develop
develop
August 30, 2023 07:47 38m 26s
Conda, update Python and Boost versions Docker #40: Commit 08bf954 pushed by jakobandersen
August 29, 2023 06:33 1h 22m 29s fixes
fixes
August 29, 2023 06:33 1h 22m 29s
Arch, use --system-site-packages for venv Docker #39: Commit 4ef8763 pushed by jakobandersen
August 25, 2023 20:14 49m 55s fixes
fixes
August 25, 2023 20:14 49m 55s
Fix GCC 13 warnings Docker #38: Commit 6ec0357 pushed by jakobandersen
August 22, 2023 11:20 39m 9s fixes
fixes
August 22, 2023 11:20 39m 9s