Skip to content

Actions: obsidiansystems/dependent-sum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Document 0.7.2.0-r2 in the change log github-action #109: Commit e52a81e pushed by Ericson2314
November 20, 2023 20:55 6m 49s v0.7.2.0-r2
v0.7.2.0-r2
November 20, 2023 20:55 6m 49s
Merge branch 'master' into develop github-action #108: Commit 12ef069 pushed by Ericson2314
November 20, 2023 20:38 18m 33s develop
develop
November 20, 2023 20:38 18m 33s
Document 0.7.2.0-r2 in the change log github-action #107: Commit e52a81e pushed by Ericson2314
November 20, 2023 20:38 7m 2s master
master
November 20, 2023 20:38 7m 2s
Merge pull request #80 from sorki/srk/someBounds github-action #106: Commit 0f8227d pushed by Ericson2314
November 18, 2023 17:38 26m 4s master
master
November 18, 2023 17:38 26m 4s
Allow some 1.0.6 github-action #105: Pull request #80 opened by sorki
November 18, 2023 13:21 5m 8s sorki:srk/someBounds
sorki:srk/someBounds
November 18, 2023 13:21 5m 8s
Document 0.7.2.0-r1 in the change log github-action #104: Commit 1ed789c pushed by Ericson2314
July 11, 2023 19:32 30m 37s master
master
July 11, 2023 19:32 30m 37s
Merge pull request #79 from obsidiansystems/ghc-9.6 github-action #103: Commit b066b50 pushed by Ericson2314
July 11, 2023 19:07 48m 58s develop
develop
July 11, 2023 19:07 48m 58s
GHC 9.6 github-action #102: Pull request #79 opened by Ericson2314
July 11, 2023 18:56 53m 21s ghc-9.6
ghc-9.6
July 11, 2023 18:56 53m 21s
GHC 9.6 github-action #101: Commit 6db0b23 pushed by Ericson2314
July 11, 2023 18:56 47m 44s ghc-9.6
ghc-9.6
July 11, 2023 18:56 47m 44s
Merge pull request #74 from obsidiansystems/aa/ghc94 github-action #100: Commit 26e0f87 pushed by Ericson2314
July 11, 2023 18:50 43m 18s develop
develop
July 11, 2023 18:50 43m 18s
Merge pull request #75 from alexfmpe/bump-constraint-extras github-action #99: Commit cf5ab4a pushed by Ericson2314
July 11, 2023 18:48 34m 12s develop
develop
July 11, 2023 18:48 34m 12s
Bump constraints-extras github-action #98: Pull request #75 synchronize by Ericson2314
July 11, 2023 18:48 32m 13s alexfmpe:bump-constraint-extras
alexfmpe:bump-constraint-extras
July 11, 2023 18:48 32m 13s
Merge branch 'master' into develop github-action #97: Commit 12f9de1 pushed by Ericson2314
July 11, 2023 18:44 29m 51s develop
develop
July 11, 2023 18:44 29m 51s
ghc 9.4 github-action #96: Pull request #74 synchronize by Ericson2314
July 11, 2023 18:30 40m 6s aa/ghc94
aa/ghc94
July 11, 2023 18:30 40m 6s
Merge branch 'develop' into aa/ghc94 github-action #95: Commit ca2f647 pushed by Ericson2314
July 11, 2023 18:29 32m 28s aa/ghc94
aa/ghc94
July 11, 2023 18:29 32m 28s
Flatten back dependent-sum to repo root github-action #94: Commit 2cc5a98 pushed by Ericson2314
July 11, 2023 18:29 25m 35s develop
develop
July 11, 2023 18:29 25m 35s
Release dependent-sum-template 0.2.0.0 github-action #93: Pull request #78 synchronize by Ericson2314
July 11, 2023 17:44 33m 31s develop
develop
July 11, 2023 17:44 33m 31s
Remove .travis.yml github-action #92: Commit 44947f9 pushed by Ericson2314
July 11, 2023 17:44 29m 13s develop
develop
July 11, 2023 17:44 29m 13s
Release dependent-sum-template 0.2.0.0 github-action #91: Pull request #78 synchronize by cgibbard
July 11, 2023 17:14 54m 2s develop
develop
July 11, 2023 17:14 54m 2s
Merge pull request #69 from obsidiansystems/template-narrow-dependenc… github-action #90: Commit 618e50a pushed by cgibbard
July 11, 2023 17:14 46m 29s develop
develop
July 11, 2023 17:14 46m 29s
Release dependent-sum-template 0.2.0.0 github-action #89: Pull request #78 synchronize by cgibbard
July 11, 2023 17:09 44m 21s develop
develop
July 11, 2023 17:09 44m 21s
Merge remote-tracking branch 'origin/master' into develop github-action #88: Commit df663d9 pushed by cgibbard
July 11, 2023 17:09 39m 42s develop
develop
July 11, 2023 17:09 39m 42s
Release dependent-sum-template 0.2.0.0 github-action #87: Pull request #78 synchronize by Ericson2314
July 11, 2023 17:09 33m 50s develop
develop
July 11, 2023 17:09 33m 50s
update version and changelog github-action #86: Commit d5c14f4 pushed by cgibbard
July 11, 2023 17:09 28m 27s develop
develop
July 11, 2023 17:09 28m 27s
Reflect dependent-sum-0.7.2.0-r1 in source code github-action #85: Commit c817898 pushed by Ericson2314
July 11, 2023 17:09 23m 40s master
master
July 11, 2023 17:09 23m 40s