Skip to content

Actions: jakobandersen/mod

Conda

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[rule] Fix isomorphicLeftRight
Conda #64: Commit 7eed61f pushed by jakobandersen
November 13, 2024 09:46 1h 4m 17s develop
November 13, 2024 09:46 1h 4m 17s
Fix typo in changelog
Conda #63: Pull request #18 opened by jnyrup
June 25, 2024 15:01 1h 3m 55s jnyrup:patch-2
June 25, 2024 15:01 1h 3m 55s
Prepare for development
Conda #62: Commit a414a65 pushed by jakobandersen
June 18, 2024 16:19 1h 21m 40s develop
June 18, 2024 16:19 1h 21m 40s
Merge branch 'develop'
Conda #61: Commit 0745af9 pushed by jakobandersen
June 18, 2024 16:14 6h 5m 7s v0.16.0
June 18, 2024 16:14 6h 5m 7s
Merge branch 'develop'
Conda #60: Commit 0745af9 pushed by jakobandersen
June 18, 2024 16:13 1h 3m 54s master
June 18, 2024 16:13 1h 3m 54s
[conda] Update Miniconda version for build
Conda #59: Commit c793b3c pushed by jakobandersen
June 18, 2024 05:22 1h 4m 7s develop
June 18, 2024 05:22 1h 4m 7s
[conda] Update Miniconda version for build
Conda #58: Commit c793b3c pushed by jakobandersen
June 17, 2024 19:27 1h 3m 11s conda-fixes
June 17, 2024 19:27 1h 3m 11s
[conda] Update Miniconda version for build
Conda #57: Commit 747e3c2 pushed by jakobandersen
June 17, 2024 19:18 4m 42s conda-fixes
June 17, 2024 19:18 4m 42s
[conda] Update Miniconda version for build
Conda #56: Commit 4594ea3 pushed by jakobandersen
June 17, 2024 18:58 4m 51s conda-fixes
June 17, 2024 18:58 4m 51s
Set release date
Conda #55: Commit c80709a pushed by jakobandersen
June 17, 2024 18:10 6m 45s develop
June 17, 2024 18:10 6m 45s
[hax] add config.dg.doRuleIsomorphismDuringBinding
Conda #54: Commit 7bd0455 pushed by jakobandersen
June 13, 2024 07:22 6m 34s develop
June 13, 2024 07:22 6m 34s
Docs, fix missing jquery in the build docs
Conda #53: Commit c0f3e85 pushed by jakobandersen
April 17, 2024 14:06 6m 22s develop
April 17, 2024 14:06 6m 22s
Rule, fix makeInverse when no external IDs
Conda #52: Commit b221f94 pushed by jakobandersen
March 13, 2024 13:56 1h 56m 22s develop
March 13, 2024 13:56 1h 56m 22s
CI, remove macos-11
Conda #51: Commit 49f2344 pushed by jakobandersen
March 4, 2024 08:53 1h 38m 21s develop
March 4, 2024 08:53 1h 38m 21s
Fix adjacency constraint in term mode
Conda #50: Commit 0bd0e8a pushed by jakobandersen
February 25, 2024 09:12 1h 55m 17s develop
February 25, 2024 09:12 1h 55m 17s
Prepare for development
Conda #49: Commit fcd82f2 pushed by jakobandersen
January 25, 2024 19:39 2h 45m 45s develop
January 25, 2024 19:39 2h 45m 45s
Merge branch 'develop'
Conda #48: Commit 19eaaac pushed by jakobandersen
January 23, 2024 10:22 2h 42m 18s master
January 23, 2024 10:22 2h 42m 18s
Merge branch 'develop'
Conda #47: Commit 19eaaac pushed by jakobandersen
January 23, 2024 10:22 2h 46m 29s v0.15.0
January 23, 2024 10:22 2h 46m 29s
macOS, add maybe_unused to squash warning
Conda #46: Commit fd2c351 pushed by jakobandersen
January 20, 2024 19:45 2h 43m 20s develop
January 20, 2024 19:45 2h 43m 20s
CI, fix Boost install
Conda #45: Commit 52fce0c pushed by jakobandersen
January 20, 2024 15:43 2h 44m 3s develop
January 20, 2024 15:43 2h 44m 3s
CI, fix macOS verions
Conda #44: Commit 0b934cb pushed by jakobandersen
January 20, 2024 14:53 2h 40m 41s develop
January 20, 2024 14:53 2h 40m 41s
Update for new version
Conda #43: Commit cee5c88 pushed by jakobandersen
January 20, 2024 11:42 2h 40m 12s develop
January 20, 2024 11:42 2h 40m 12s
Update copyright
Conda #42: Commit 7465a72 pushed by jakobandersen
January 11, 2024 09:15 3h 53m 0s develop
January 11, 2024 09:15 3h 53m 0s