Skip to content

Actions: oisdk/agda-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Normalised.agda Compile Agda and Deploy HTML #802: Commit 54514ee pushed by oisdk
January 31, 2024 16:00 2m 10s master
master
January 31, 2024 16:00 2m 10s
pages build and deployment pages-build-deployment #159: by github-pages bot
January 31, 2024 09:52 34s
January 31, 2024 09:52 34s
Update Normalised.agda Compile Agda and Deploy HTML #801: Commit 1e9a3ab pushed by oisdk
January 31, 2024 09:50 2m 12s master
master
January 31, 2024 09:50 2m 12s
non-norm Compile Agda and Deploy HTML #800: Commit e25b262 pushed by oisdk
January 31, 2024 08:32 1m 54s master
master
January 31, 2024 08:32 1m 54s
pages build and deployment pages-build-deployment #158: by github-pages bot
January 31, 2024 07:49 33s
January 31, 2024 07:49 33s
foldl-++ Compile Agda and Deploy HTML #799: Commit b6755b8 pushed by oisdk
January 31, 2024 07:46 2m 7s master
master
January 31, 2024 07:46 2m 7s
pages build and deployment pages-build-deployment #157: by github-pages bot
January 31, 2024 07:02 46s
January 31, 2024 07:02 46s
Update Normalised.agda Compile Agda and Deploy HTML #798: Commit 7123c3a pushed by oisdk
January 31, 2024 07:00 2m 7s master
master
January 31, 2024 07:00 2m 7s
pages build and deployment pages-build-deployment #156: by github-pages bot
January 30, 2024 15:37 31s
January 30, 2024 15:37 31s
Update Normalised.agda Compile Agda and Deploy HTML #797: Commit c969e74 pushed by oisdk
January 30, 2024 15:35 2m 13s master
master
January 30, 2024 15:35 2m 13s
pages build and deployment with artifacts-next pages-build-deployment #155: by github-pages bot
January 30, 2024 14:42 42s
January 30, 2024 14:42 42s
Update NonNorm.agda Compile Agda and Deploy HTML #796: Commit 771fe04 pushed by oisdk
January 30, 2024 14:40 2m 8s master
master
January 30, 2024 14:40 2m 8s
pages build and deployment with artifacts-next pages-build-deployment #154: by github-pages bot
January 30, 2024 13:45 29s
January 30, 2024 13:45 29s
more on permutations Compile Agda and Deploy HTML #795: Commit 2ed20d2 pushed by oisdk
January 30, 2024 13:42 2m 7s master
master
January 30, 2024 13:42 2m 7s
pages build and deployment with artifacts-next pages-build-deployment #153: by github-pages bot
January 30, 2024 12:39 33s
January 30, 2024 12:39 33s
Update Normalised.agda Compile Agda and Deploy HTML #794: Commit 2266379 pushed by oisdk
January 30, 2024 12:37 2m 6s master
master
January 30, 2024 12:37 2m 6s
pages build and deployment with artifacts-next pages-build-deployment #152: by github-pages bot
January 30, 2024 12:31 32s
January 30, 2024 12:31 32s
Update Normalised.agda Compile Agda and Deploy HTML #793: Commit b18529c pushed by oisdk
January 30, 2024 12:29 2m 11s master
master
January 30, 2024 12:29 2m 11s
pages build and deployment with artifacts-next pages-build-deployment #151: by github-pages bot
January 30, 2024 12:03 32s
January 30, 2024 12:03 32s
removing some unnecessary with clauses Compile Agda and Deploy HTML #792: Commit c3fe460 pushed by oisdk
January 30, 2024 12:01 2m 13s master
master
January 30, 2024 12:01 2m 13s
pages build and deployment with artifacts-next pages-build-deployment #150: by github-pages bot
January 30, 2024 11:42 32s
January 30, 2024 11:42 32s
Update Normalised.agda Compile Agda and Deploy HTML #791: Commit 2a40e3a pushed by oisdk
January 30, 2024 11:40 2m 10s master
master
January 30, 2024 11:40 2m 10s
pages build and deployment with artifacts-next pages-build-deployment #149: by github-pages bot
January 30, 2024 11:23 33s
January 30, 2024 11:23 33s
Update Normalised.agda Compile Agda and Deploy HTML #790: Commit c99f736 pushed by oisdk
January 30, 2024 11:21 2m 6s master
master
January 30, 2024 11:21 2m 6s
pages build and deployment with artifacts-next pages-build-deployment #148: by github-pages bot
January 30, 2024 10:58 32s
January 30, 2024 10:58 32s