Skip to content

Actions: jakobandersen/mod

Actions

Main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Main.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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