Skip to content

Actions: palatable/lambda

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
8 workflow runs
8 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Java 17 Java CI #130: Pull request #129 opened by 7h3kk1d
May 1, 2023 22:12 35s 7h3kk1d:java17
7h3kk1d:java17
May 1, 2023 22:12 35s
Merge pull request #128 from 7h3kk1d/foldright-semigroup-fix Java CI #129: Commit d360ae8 pushed by 7h3kk1d
May 1, 2023 02:10 3m 18s master
master
May 1, 2023 02:10 3m 18s
FoldRight fixes for Monoid/Semigroup Java CI #128: Pull request #128 opened by 7h3kk1d
April 21, 2023 02:44 3m 42s 7h3kk1d:foldright-semigroup-fix
7h3kk1d:foldright-semigroup-fix
April 21, 2023 02:44 3m 42s
Merge pull request #126 from palatable/discord-chat-link Java CI #127: Commit 725d626 pushed by 7h3kk1d
March 31, 2023 23:06 3m 42s master
master
March 31, 2023 23:06 3m 42s
Fix height of discord badge Java CI #126: Commit e483118 pushed by 7h3kk1d
March 31, 2023 22:49 3m 54s discord-chat-link
discord-chat-link
March 31, 2023 22:49 3m 54s
Switch chat badge to point to palatable discord Java CI #125: Pull request #126 synchronize by 7h3kk1d
March 31, 2023 22:49 3m 37s discord-chat-link
discord-chat-link
March 31, 2023 22:49 3m 37s
Switch chat badge to point to palatable discord Java CI #124: Pull request #126 opened by 7h3kk1d
March 31, 2023 22:39 3m 39s discord-chat-link
discord-chat-link
March 31, 2023 22:39 3m 39s
Switch chat badge to point to palatable discord Java CI #123: Commit 88e70fe pushed by 7h3kk1d
March 31, 2023 22:38 2m 58s discord-chat-link
discord-chat-link
March 31, 2023 22:38 2m 58s