Skip to content

Actions: obsidiansystems/dependent-monoidal-map

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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