Skip to content

Actions: dancewithheart/agda2scala

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Security code scanning Security code scanning #48: Scheduled
2m 24s main
main
2m 24s
Security code scanning Security code scanning #47: Scheduled
2m 28s main
main
2m 28s
Security code scanning Security code scanning #46: Scheduled
2m 51s main
main
2m 51s
Update dependency scalafmt to v3.11.1 Dependency submission #30: Pull request #44 opened by renovate Bot
21m 46s renovate/scalafmt-3.x
renovate/scalafmt-3.x
21m 46s
Update dependency scalafmt to v3.11.1 build #86: Commit 259484d pushed by renovate Bot
3m 55s renovate/scalafmt-3.x
renovate/scalafmt-3.x
3m 55s
Update dependency org.scalameta:sbt-scalafmt to v2.6.1 Dependency submission #29: Pull request #43 opened by renovate Bot
21m 9s renovate/org.scalameta-sbt-scalafmt-2.x
renovate/org.scalameta-sbt-scalafmt-2.x
21m 9s
Update dependency org.scalameta:sbt-scalafmt to v2.6.1 build #85: Commit 6201886 pushed by renovate Bot
3m 28s renovate/org.scalameta-sbt-scalafmt-2.x
renovate/org.scalameta-sbt-scalafmt-2.x
3m 28s
Security code scanning Security code scanning #45: Scheduled
2m 26s main
main
2m 26s
github_actions in /. - Update #1360085116 Dependabot Updates #40: by dependabot Bot
47s main
main
47s
Security code scanning Security code scanning #44: Scheduled
2m 33s main
main
2m 33s
Security code scanning Security code scanning #43: Scheduled
2m 36s main
main
2m 36s
Merge pull request #42 from dancewithheart/renovate/org.typelevel-sbt… build #84: Commit f0ac85b pushed by dancewithheart
16m 34s main
main
16m 34s
Merge pull request #42 from dancewithheart/renovate/org.typelevel-sbt… Security code scanning #42: Commit f0ac85b pushed by dancewithheart
2m 29s main
main
2m 29s
Merge pull request #42 from dancewithheart/renovate/org.typelevel-sbt… Dependency submission #28: Commit f0ac85b pushed by dancewithheart
20m 58s main
main
20m 58s
Update dependency org.typelevel:sbt-tpolecat to v0.5.4 Dependency submission #27: Pull request #42 opened by renovate Bot
21m 41s renovate/org.typelevel-sbt-tpolecat-0.x
renovate/org.typelevel-sbt-tpolecat-0.x
21m 41s
Update dependency org.typelevel:sbt-tpolecat to v0.5.4 build #83: Commit 89a9a7f pushed by renovate Bot
16m 45s renovate/org.typelevel-sbt-tpolecat-0.x
renovate/org.typelevel-sbt-tpolecat-0.x
16m 45s
Security code scanning Security code scanning #41: Scheduled
2m 37s main
main
2m 37s
Merge pull request #41 from dancewithheart/renovate/zioversion Dependency submission #26: Commit 3426540 pushed by dancewithheart
21m 30s main
main
21m 30s
Merge pull request #41 from dancewithheart/renovate/zioversion build #82: Commit 3426540 pushed by dancewithheart
14m 26s main
main
14m 26s
Merge pull request #41 from dancewithheart/renovate/zioversion Security code scanning #40: Commit 3426540 pushed by dancewithheart
2m 30s main
main
2m 30s
Security code scanning Security code scanning #39: Scheduled
2m 31s main
main
2m 31s
Update zioVersion to v2.1.26 Dependency submission #25: Pull request #41 opened by renovate Bot
21m 6s renovate/zioversion
renovate/zioversion
21m 6s
Update zioVersion to v2.1.26 build #81: Commit eb18e2b pushed by renovate Bot
3m 17s renovate/zioversion
renovate/zioversion
3m 17s
Security code scanning Security code scanning #38: Scheduled
2m 34s main
main
2m 34s
Security code scanning Security code scanning #37: Scheduled
2m 41s main
main
2m 41s