Skip to content

Actions: obsidiansystems/dependent-monoidal-map

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.1.1.5 github-action #37: Commit 6c66e22 pushed by alexfmpe
January 18, 2025 21:08 4h 22m 54s develop
develop
January 18, 2025 21:08 4h 22m 54s
Release 0.1.1.5 github-action #36: Commit 6c66e22 pushed by alexfmpe
January 18, 2025 21:07 3h 33m 8s v0.1.1.5
v0.1.1.5
January 18, 2025 21:07 3h 33m 8s
Release 0.1.1.5 github-action #35: Commit 6c66e22 pushed by alexfmpe
January 18, 2025 21:06 2h 38m 8s release/0.1.1.5
release/0.1.1.5
January 18, 2025 21:06 2h 38m 8s
Merge pull request #9 from alexfmpe/ghc-9.12 github-action #34: Commit f7c1340 pushed by alexfmpe
January 18, 2025 21:03 1h 38m 12s develop
develop
January 18, 2025 21:03 1h 38m 12s
Support GHC 9.12 github-action #33: Pull request #9 opened by alexfmpe
January 18, 2025 20:55 29m 59s alexfmpe:ghc-9.12
alexfmpe:ghc-9.12
January 18, 2025 20:55 29m 59s
Merge pull request #8 from obsidiansystems/9.10 github-action #32: Commit 6a9eeba pushed by Ericson2314
October 7, 2024 02:38 47m 33s develop
develop
October 7, 2024 02:38 47m 33s
Support GHC 9.10 github-action #31: Pull request #8 opened by Ericson2314
October 7, 2024 00:53 1h 43m 16s 9.10
9.10
October 7, 2024 00:53 1h 43m 16s
CI GHC 9.10 github-action #30: Commit 3fdcb3e pushed by Ericson2314
October 7, 2024 00:52 58m 45s 9.10
9.10
October 7, 2024 00:52 58m 45s
Update dependent-monoidal-map.cabal github-action #29: Commit 4dc3850 pushed by Ericson2314
October 7, 2024 00:46 9m 13s 9.10
9.10
October 7, 2024 00:46 9m 13s
Merge pull request #7 from alexfmpe/ghc-9.8 github-action #28: Commit ea22929 pushed by Ericson2314
October 7, 2024 00:42 40m 52s 9.10
9.10
October 7, 2024 00:42 40m 52s
Merge pull request #7 from alexfmpe/ghc-9.8 github-action #27: Commit ea22929 pushed by ali-abrar
May 28, 2024 19:26 1h 56m 43s v0.1.1.4
v0.1.1.4
May 28, 2024 19:26 1h 56m 43s
Merge remote-tracking branch 'origin/develop' into release/0.1.1.3 github-action #26: Commit 5dc00cc pushed by ali-abrar
May 28, 2024 19:26 5m 7s v0.1.1.3
v0.1.1.3
May 28, 2024 19:26 5m 7s
Merge pull request #7 from alexfmpe/ghc-9.8 github-action #25: Commit ea22929 pushed by ali-abrar
May 28, 2024 19:25 1h 38m 29s release/0.1.1.4
release/0.1.1.4
May 28, 2024 19:25 1h 38m 29s
Merge pull request #7 from alexfmpe/ghc-9.8 github-action #24: Commit ea22929 pushed by ali-abrar
May 28, 2024 19:23 1h 34m 37s develop
develop
May 28, 2024 19:23 1h 34m 37s
Merge remote-tracking branch 'origin/release/0.1.1.3' into develop github-action #23: Commit 95d6cfd pushed by ali-abrar
May 28, 2024 19:20 1h 0m 31s master
master
May 28, 2024 19:20 1h 0m 31s
Build with ghc 9.8 github-action #22: Pull request #7 synchronize by ali-abrar
May 28, 2024 17:29 1h 16m 22s alexfmpe:ghc-9.8
alexfmpe:ghc-9.8
May 28, 2024 17:29 1h 16m 22s
Build with ghc 9.8 github-action #21: Pull request #7 synchronize by ali-abrar
May 28, 2024 17:26 9m 23s alexfmpe:ghc-9.8
alexfmpe:ghc-9.8
May 28, 2024 17:26 9m 23s
Build with ghc 9.8 github-action #20: Pull request #7 synchronize by ali-abrar
May 28, 2024 17:24 5m 31s alexfmpe:ghc-9.8
alexfmpe:ghc-9.8
May 28, 2024 17:24 5m 31s
Build with ghc 9.8 github-action #19: Pull request #7 opened by alexfmpe
May 5, 2024 02:44 1h 31m 33s alexfmpe:ghc-9.8
alexfmpe:ghc-9.8
May 5, 2024 02:44 1h 31m 33s