Skip to content

Actions: IntersectMBO/plutus-apps

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
577 workflow runs
577 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(Unknown event)
(Unnamed workflow) #68: Scheduled
July 29, 2023 00:14 Startup failure main
July 29, 2023 00:14 Startup failure
(Unknown event)
(Unnamed workflow) #67: Scheduled
July 28, 2023 00:15 Startup failure main
July 28, 2023 00:15 Startup failure
Upgrade GHC from 8.10.7 to 9.2.7
Pre Commit Check #694: Pull request #1089 synchronize by sjoerdvisscher
July 27, 2023 09:55 1h 53m 13s kll/fourmolu
July 27, 2023 09:55 1h 53m 13s
Upgrade GHC from 8.10.7 to 9.2.7
Pre Commit Check #693: Pull request #1089 synchronize by sjoerdvisscher
July 27, 2023 09:49 1h 36m 31s kll/fourmolu
July 27, 2023 09:49 1h 36m 31s
Upgrade GHC from 8.10.7 to 9.2.7
Pre Commit Check #692: Pull request #1089 synchronize by sjoerdvisscher
July 27, 2023 08:19 1h 56m 41s kll/fourmolu
July 27, 2023 08:19 1h 56m 41s
Upgrade GHC from 8.10.7 to 9.2.7
Pre Commit Check #691: Pull request #1089 synchronize by sjoerdvisscher
July 27, 2023 08:14 1h 54m 10s kll/fourmolu
July 27, 2023 08:14 1h 54m 10s
(Unknown event)
(Unnamed workflow) #66: Scheduled
July 27, 2023 00:14 Startup failure main
July 27, 2023 00:14 Startup failure
Upgrade GHC from 8.10.7 to 9.2.7
Pre Commit Check #690: Pull request #1089 synchronize by sjoerdvisscher
July 26, 2023 14:42 1h 56m 26s kll/fourmolu
July 26, 2023 14:42 1h 56m 26s
pages build and deployment
pages-build-deployment #49: by github-pages bot
July 26, 2023 14:19 4m 11s
July 26, 2023 14:19 4m 11s
PLT-6205: Use node emulator in socket emulator (#1101)
Build and Deploy to Github Pages #57: Commit 42fa337 pushed by koslambrou
July 26, 2023 14:09 9m 18s main
July 26, 2023 14:09 9m 18s
PLT-6205: Use node emulator in socket emulator (#1101)
Deploy #629: Commit 42fa337 pushed by koslambrou
July 26, 2023 14:09 1m 41s main
July 26, 2023 14:09 1m 41s
(Unknown event)
(Unnamed workflow) #65: Scheduled
July 26, 2023 00:15 Startup failure main
July 26, 2023 00:15 Startup failure
Removed git-sha maps of previous dependencies that are no longer re…
Build and Deploy to Github Pages #56: Commit 50b7a9e pushed by koslambrou
July 25, 2023 18:23 10m 46s main
July 25, 2023 18:23 10m 46s
July 25, 2023 18:23 13s
minor clean up of nix dependencies
Pre Commit Check #688: Pull request #1100 opened by kayvank
July 25, 2023 13:05 7m 8s kayvank:minor-fix-dependencies
July 25, 2023 13:05 7m 8s
(Unknown event)
(Unnamed workflow) #64: Scheduled
July 25, 2023 00:16 Startup failure main
July 25, 2023 00:16 Startup failure
pages build and deployment
pages-build-deployment #48: by github-pages bot
July 24, 2023 13:10 4m 17s
July 24, 2023 13:10 4m 17s
Start of node compatible socket interface (#1097)
Build and Deploy to Github Pages #55: Commit 331033d pushed by koslambrou
July 24, 2023 12:57 13m 39s main
July 24, 2023 12:57 13m 39s
Start of node compatible socket interface (#1097)
Deploy #627: Commit 331033d pushed by koslambrou
July 24, 2023 12:57 15s main
July 24, 2023 12:57 15s
(Unknown event)
(Unnamed workflow) #63: Scheduled
July 24, 2023 00:16 Startup failure main
July 24, 2023 00:16 Startup failure
(Unknown event)
(Unnamed workflow) #62: Scheduled
July 23, 2023 00:17 Startup failure main
July 23, 2023 00:17 Startup failure
ProTip! You can narrow down the results and go further in time using created:<2023-07-23 or the other filters available.