Skip to content

Actions: hyperpolymath/rescript-tea

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update SCM files with project information CI #127: Commit 40bafde pushed by hyperpolymath
3h 35m 21s main
main
3h 35m 21s
docs: add CONTRIBUTING.md CI #126: Commit 10a6c56 pushed by hyperpolymath
2h 13m 36s main
main
2h 13m 36s
docs: add SCM checkpoint files CI #125: Commit bcb03d7 pushed by hyperpolymath
20m 31s main
main
20m 31s
Apply rhodium repository hygiene CI #124: Commit e9f62cd pushed by hyperpolymath
10s main
main
10s
deps(actions): bump erlef/setup-beam from 1.17.5 to 1.20.4 CI #123: Pull request #37 opened by dependabot bot
8s dependabot/github_actions/erlef/setup-beam-1.20.4
dependabot/github_actions/erlef/setup-beam-1.20.4
8s
deps(actions): bump actions/github-script from 7.0.1 to 8.0.0 CI #122: Pull request #36 opened by dependabot bot
7s dependabot/github_actions/actions/github-script-8.0.0
dependabot/github_actions/actions/github-script-8.0.0
7s
deps(actions): bump github/codeql-action from 4.31.10 to 4.32.0 CI #121: Pull request #35 opened by dependabot bot
7s dependabot/github_actions/github/codeql-action-4.32.0
dependabot/github_actions/github/codeql-action-4.32.0
7s
deps(actions): bump actions/checkout from 6.0.1 to 6.0.2 CI #120: Pull request #34 synchronize by dependabot bot
27s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
27s
docs: update STATE.scm with proven integration status CI #119: Commit 0fe67e1 pushed by hyperpolymath
12s main
main
12s
feat: configure Deno for ReScript compilation (no Node.js) CI #118: Commit 1d1d4ab pushed by hyperpolymath
6s main
main
6s
feat: integrate proven formally verified library CI #117: Commit 8b8fe8f pushed by hyperpolymath
8s main
main
8s
docs: add checkpoint files for state tracking CI #116: Commit 733d884 pushed by hyperpolymath
1h 2m 0s main
main
1h 2m 0s
feat(ci): enable Hypatia scanning CI #115: Commit 17258b2 pushed by hyperpolymath
1h 21m 28s main
main
1h 21m 28s
deps(actions): bump actions/checkout from 6.0.1 to 6.0.2 CI #114: Pull request #34 opened by dependabot bot
6s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
6s
deps(actions): bump github/codeql-action from 4.31.10 to 4.31.11 CI #113: Pull request #33 opened by dependabot bot
7s dependabot/github_actions/github/codeql-action-4.31.11
dependabot/github_actions/github/codeql-action-4.31.11
7s
chore: commit local changes before sync CI #112: Commit ac82c0a pushed by hyperpolymath
2h 53m 53s main
main
2h 53m 53s
deps(actions): bump actions/upload-pages-artifact from 3.0.1 to 4.0.0… CI #111: Commit ec3882c pushed by hyperpolymath
14s main
main
14s
deps(actions): bump actions/upload-pages-artifact from 3.0.1 to 4.0.0 CI #110: Pull request #27 synchronize by hyperpolymath
12s dependabot/github_actions/actions/upload-pages-artifact-4.0.0
dependabot/github_actions/actions/upload-pages-artifact-4.0.0
12s
deps(actions): bump trufflesecurity/trufflehog from 3.92.4 to 3.92.5 … CI #109: Commit 895531f pushed by hyperpolymath
12s main
main
12s
deps(actions): bump trufflesecurity/trufflehog from 3.92.4 to 3.92.5 CI #108: Pull request #28 synchronize by hyperpolymath
13s dependabot/github_actions/trufflesecurity/trufflehog-3.92.5
dependabot/github_actions/trufflesecurity/trufflehog-3.92.5
13s
deps(npm): bump rescript from 12.0.2 to 12.1.0 in the rescript group … CI #107: Commit ee44bca pushed by hyperpolymath
6s main
main
6s
deps(npm): bump rescript from 12.0.2 to 12.1.0 in the rescript group CI #106: Pull request #29 synchronize by hyperpolymath
6s dependabot/npm_and_yarn/rescript-81bcda2c45
dependabot/npm_and_yarn/rescript-81bcda2c45
6s
deps(actions): bump github/codeql-action from 3.27.0 to 4.31.10 (#30) CI #105: Commit 9d93e88 pushed by hyperpolymath
7s main
main
7s
deps(actions): bump github/codeql-action from 3.27.0 to 4.31.10 CI #104: Pull request #30 synchronize by hyperpolymath
7s dependabot/github_actions/github/codeql-action-4.31.10
dependabot/github_actions/github/codeql-action-4.31.10
7s
deps(actions): bump actions/cache from 4.0.2 to 5.0.2 (#31) CI #103: Commit 8f3436b pushed by hyperpolymath
7s main
main
7s