Skip to content

Actions: IntersectMBO/plutus-apps

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
563 workflow runs
563 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ProTip! You can narrow down the results and go further in time using created:<2023-07-25 or the other filters available.