Skip to content

Actions: ocsigen/ts2ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
525 workflow runs
525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #419 CodeQL #21: by smorimoto
May 10, 2024 00:13 1m 35s update-gha
update-gha
May 10, 2024 00:13 1m 35s
Update GitHub Actions workflow CI #760: Pull request #419 opened by smorimoto
May 10, 2024 00:13 11m 3s update-gha
update-gha
May 10, 2024 00:13 11m 3s
npm_and_yarn in /. for axios - Update #826285998 Dependabot Updates #18: by dependabot bot
May 10, 2024 00:09 1m 30s main
main
May 10, 2024 00:09 1m 30s
Merge pull request #418 from ocsigen/dependabot/github_actions/action… CI #759: Commit e2bdf74 pushed by smorimoto
May 10, 2024 00:09 7m 29s main
main
May 10, 2024 00:09 7m 29s
Push on main CodeQL #20: by smorimoto
May 10, 2024 00:09 1m 46s main
main
May 10, 2024 00:09 1m 46s
github_actions in /. for actions/checkout - Update #826285659 Dependabot Updates #17: by dependabot bot
May 10, 2024 00:07 1m 40s main
main
May 10, 2024 00:07 1m 40s
Merge pull request #415 from ocsigen/dependabot/github_actions/action… CI #758: Commit 49d7b80 pushed by smorimoto
May 10, 2024 00:07 7m 19s main
main
May 10, 2024 00:07 7m 19s
Push on main CodeQL #19: by smorimoto
May 10, 2024 00:07 1m 58s main
main
May 10, 2024 00:07 1m 58s
npm_and_yarn in /. for axios - Update #826285569 Dependabot Updates #16: by dependabot bot
May 10, 2024 00:07 58s main
main
May 10, 2024 00:07 58s
Merge pull request #416 from ocsigen/dependabot/github_actions/action… CI #757: Commit 5c6e4db pushed by smorimoto
May 10, 2024 00:07 7m 47s main
main
May 10, 2024 00:07 7m 47s
Push on main CodeQL #18: by smorimoto
May 10, 2024 00:07 1m 39s main
main
May 10, 2024 00:07 1m 39s
Bump actions/checkout from 2 to 4 CI #756: Pull request #418 opened by dependabot bot
May 9, 2024 23:57 14m 5s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
May 9, 2024 23:57 14m 5s
Bump JS-DevTools/npm-publish from 1 to 3 CI #755: Pull request #417 opened by dependabot bot
May 9, 2024 23:57 12m 8s dependabot/github_actions/JS-DevTools/npm-publish-3
dependabot/github_actions/JS-DevTools/npm-publish-3
May 9, 2024 23:57 12m 8s
Bump actions/setup-node from 2 to 4 CI #754: Pull request #416 opened by dependabot bot
May 9, 2024 23:57 12m 3s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
May 9, 2024 23:57 12m 3s
Bump actions/setup-dotnet from 1 to 4 CI #753: Pull request #415 opened by dependabot bot
May 9, 2024 23:56 12m 12s dependabot/github_actions/actions/setup-dotnet-4
dependabot/github_actions/actions/setup-dotnet-4
May 9, 2024 23:56 12m 12s
npm_and_yarn in /. - Update #826282149 Dependabot Updates #15: by dependabot bot
May 9, 2024 23:56 56s main
main
May 9, 2024 23:56 56s
github_actions in /. - Update #826282148 Dependabot Updates #14: by dependabot bot
May 9, 2024 23:56 56s main
main
May 9, 2024 23:56 56s
Push on main CodeQL #17: by github-advanced-security bot
May 9, 2024 23:56 11m 31s main
main
May 9, 2024 23:56 11m 31s
Update GitHub Actions with Dependabot CI #752: Commit 423ee01 pushed by smorimoto
May 9, 2024 23:56 13m 47s main
main
May 9, 2024 23:56 13m 47s
npm_and_yarn in /. - Update #826063742 Dependabot Updates #13: by dependabot bot
May 9, 2024 12:20 1m 5s main
main
May 9, 2024 12:20 1m 5s
npm_and_yarn in /. - Update #825593087 Dependabot Updates #12: by dependabot bot
May 8, 2024 12:09 1m 2s main
main
May 8, 2024 12:09 1m 2s
npm_and_yarn in /. - Update #825106078 Dependabot Updates #11: by dependabot bot
May 7, 2024 12:41 1m 6s main
main
May 7, 2024 12:41 1m 6s
npm_and_yarn in /. - Update #824295160 Dependabot Updates #10: by dependabot bot
May 6, 2024 12:09 59s main
main
May 6, 2024 12:09 59s
npm_and_yarn in /. - Update #823769152 Dependabot Updates #9: by dependabot bot
May 4, 2024 13:25 55s main
main
May 4, 2024 13:25 55s
Scheduled CodeQL #16: by github-advanced-security bot
May 4, 2024 10:31 1m 31s main
main
May 4, 2024 10:31 1m 31s
ProTip! You can narrow down the results and go further in time using created:<2024-05-04 or the other filters available.