Skip to content

Actions: c4dt/d-voting

Actions

Web frontend lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
web_frontend_lint.yml
64 workflow run results
64 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Docker using --noTLS Web frontend lint #64: Pull request #16 synchronize by PascalinDe
October 4, 2023 16:20 1m 10s noTLS-docker
noTLS-docker
October 4, 2023 16:20 1m 10s
More cleanups Web frontend lint #63: Pull request #24 opened by ineiti
October 4, 2023 15:28 1m 24s cleanups_2
cleanups_2
October 4, 2023 15:28 1m 24s
Follow updates Web frontend lint #62: Pull request #23 opened by ineiti
October 4, 2023 15:18 1m 20s follow_updates
follow_updates
October 4, 2023 15:18 1m 20s
Merge pull request #22 from c4dt/update_gomod Web frontend lint #61: Commit 071c9e4 pushed by ineiti
October 4, 2023 14:13 1m 15s main
main
October 4, 2023 14:13 1m 15s
Update gomod Web frontend lint #60: Pull request #22 synchronize by ineiti
October 4, 2023 14:07 58s update_gomod
update_gomod
October 4, 2023 14:07 58s
Update gomod Web frontend lint #59: Pull request #22 opened by ineiti
October 4, 2023 14:06 1m 5s update_gomod
update_gomod
October 4, 2023 14:06 1m 5s
Merge pull request #20 from c4dt/more_cleanups Web frontend lint #58: Commit 6149677 pushed by ineiti
October 4, 2023 14:00 1m 0s main
main
October 4, 2023 14:00 1m 0s
More cleanups Web frontend lint #57: Pull request #20 synchronize by ineiti
October 4, 2023 13:58 1m 0s more_cleanups
more_cleanups
October 4, 2023 13:58 1m 0s
More cleanups Web frontend lint #56: Pull request #20 synchronize by ineiti
October 4, 2023 13:56 1m 13s more_cleanups
more_cleanups
October 4, 2023 13:56 1m 13s
Merge pull request #11 from c4dt/devops/adjusts-docker-configurations… Web frontend lint #55: Commit ac41443 pushed by lanterno
October 4, 2023 13:53 1m 3s main
main
October 4, 2023 13:53 1m 3s
More cleanups Web frontend lint #54: Pull request #20 synchronize by ineiti
October 4, 2023 13:52 3m 43s more_cleanups
more_cleanups
October 4, 2023 13:52 3m 43s
Devops: adjusts docker configurations for local development Web frontend lint #53: Pull request #11 synchronize by lanterno
October 4, 2023 12:59 1m 2s devops/adjusts-docker-configurations-for-local-development
devops/adjusts-docker-configurations-for-local-development
October 4, 2023 12:59 1m 2s
Merge pull request #19 from c4dt/pr-template Web frontend lint #52: Commit 0c23aaa pushed by PascalinDe
October 4, 2023 12:39 1m 6s main
main
October 4, 2023 12:39 1m 6s
More cleanups Web frontend lint #51: Pull request #20 synchronize by ineiti
October 4, 2023 12:24 1m 1s more_cleanups
more_cleanups
October 4, 2023 12:24 1m 1s
Merge branch 'dedis:main' into main Web frontend lint #50: Commit c2129c4 pushed by lanterno
October 4, 2023 12:24 1m 12s main
main
October 4, 2023 12:24 1m 12s
feat: backport https://github.com/dedis/d-voting/pull/373 Web frontend lint #49: Pull request #21 opened by PascalinDe
October 4, 2023 12:02 1m 1s backport-typo-fix
backport-typo-fix
October 4, 2023 12:02 1m 1s
feat: add PR template Web frontend lint #48: Pull request #19 synchronize by PascalinDe
October 4, 2023 11:51 1m 10s pr-template
pr-template
October 4, 2023 11:51 1m 10s
More cleanups Web frontend lint #47: Pull request #20 synchronize by ineiti
October 4, 2023 10:56 1m 5s more_cleanups
more_cleanups
October 4, 2023 10:56 1m 5s
More cleanups Web frontend lint #46: Pull request #20 synchronize by ineiti
October 4, 2023 09:33 1m 0s more_cleanups
more_cleanups
October 4, 2023 09:33 1m 0s
Devops: adjusts docker configurations for local development Web frontend lint #45: Pull request #11 synchronize by lanterno
October 4, 2023 09:28 1m 20s devops/adjusts-docker-configurations-for-local-development
devops/adjusts-docker-configurations-for-local-development
October 4, 2023 09:28 1m 20s
More cleanups Web frontend lint #44: Pull request #20 opened by ineiti
October 4, 2023 09:22 1m 10s more_cleanups
more_cleanups
October 4, 2023 09:22 1m 10s
feat: add PR template Web frontend lint #43: Pull request #19 opened by PascalinDe
October 4, 2023 08:56 55s pr-template
pr-template
October 4, 2023 08:56 55s
Merge pull request #18 from c4dt/cleanup_frontend Web frontend lint #42: Commit 6fc65fc pushed by ineiti
October 4, 2023 08:10 1m 5s main
main
October 4, 2023 08:10 1m 5s
Cleanup frontend Web frontend lint #41: Pull request #18 opened by ineiti
October 4, 2023 07:33 1m 5s cleanup_frontend
cleanup_frontend
October 4, 2023 07:33 1m 5s
Fix hostnames in the roster Web frontend lint #40: Pull request #17 synchronize by ineiti
October 4, 2023 06:48 1m 15s fix_proxy_urls
fix_proxy_urls
October 4, 2023 06:48 1m 15s