Skip to content

Actions: HigherOrderCO/Kind1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #203: by kings177
July 20, 2024 18:50 36s
July 20, 2024 18:50 36s
pages build and deployment pages-build-deployment #202: by kings177
July 20, 2024 16:43 38s
July 20, 2024 16:43 38s
Update links etc CI #416: Commit e5a653e pushed by kings177
July 20, 2024 16:40 29s kind2-old
kind2-old
July 20, 2024 16:40 29s
Update links etc CI #415: Commit e5a653e pushed by kings177
June 28, 2024 15:31 35s master
master
June 28, 2024 15:31 35s
pages build and deployment pages-build-deployment #201: by kings177
June 28, 2024 15:31 42s
June 28, 2024 15:31 42s
added disclaimer CI #414: Commit 2b27749 pushed by kings177
May 17, 2024 02:22 18s master
master
May 17, 2024 02:22 18s
pages build and deployment pages-build-deployment #200: by kings177
May 17, 2024 02:22 17s
May 17, 2024 02:22 17s
update to kind1 CI #413: Commit 2d8ec86 pushed by kings177
May 16, 2024 18:29 32s master
master
May 16, 2024 18:29 32s
pages build and deployment pages-build-deployment #199: by kings177
May 16, 2024 18:29 36s
May 16, 2024 18:29 36s
pages build and deployment pages-build-deployment #198: by kings177
May 16, 2024 17:33 35s
May 16, 2024 17:33 35s
Fixed wrong email name CI #410: Commit 114ea8b pushed by kings177
September 10, 2023 20:46 38s master
master
September 10, 2023 20:46 38s
pages build and deployment pages-build-deployment #197: by kings177
September 10, 2023 20:46 56s
September 10, 2023 20:46 56s
Fixed old links CI #409: Commit 40ef889 pushed by kings177
September 10, 2023 20:45 41s master
master
September 10, 2023 20:45 41s
pages build and deployment pages-build-deployment #196: by kings177
September 10, 2023 20:45 36s
September 10, 2023 20:45 36s
pages build and deployment pages-build-deployment #195: by kings177
September 10, 2023 20:38 49s
September 10, 2023 20:38 49s
Merge pull request #580 from DenisGorbachev/patch-1 CI #408: Commit 0290346 pushed by kings177
September 10, 2023 20:38 33s master
master
September 10, 2023 20:38 33s
Fix a typo CI #407: Pull request #580 opened by DenisGorbachev
September 2, 2023 04:51 38s DenisGorbachev:patch-1
DenisGorbachev:patch-1
September 2, 2023 04:51 38s