Skip to content

Actions: hacspec/hax

Actions

Test JS build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
engine_js_build.yml
1,349 workflow runs
1,349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync hax readme with hacspec.github.io Test JS build #24: Pull request #664 synchronize by W95Psp
May 14, 2024 11:39 3s sync-hax-readme-with-hacspec.github.io
sync-hax-readme-with-hacspec.github.io
May 14, 2024 11:39 3s
Sync hax readme with hacspec.github.io Test JS build #23: Pull request #664 opened by W95Psp
May 14, 2024 11:34 3s sync-hax-readme-with-hacspec.github.io
sync-hax-readme-with-hacspec.github.io
May 14, 2024 11:34 3s
Test JS build Test JS build #22: Merge group checks requested
May 14, 2024 11:12 8m 28s
May 14, 2024 11:12 8m 28s
feat(readme): reflect changes from hascpec.github.io Test JS build #21: Pull request #663 opened by W95Psp
May 14, 2024 11:08 3s reflect-changes-hacspec.github.io
reflect-changes-hacspec.github.io
May 14, 2024 11:08 3s
Refactor of clauses Test JS build #20: Pull request #662 synchronize by W95Psp
May 13, 2024 18:34 3s clauses-661
clauses-661
May 13, 2024 18:34 3s
Merge pull request #655 from Nadrieril/update-rustc Test JS build #19: Commit 765285c pushed by github-merge-queue bot
May 13, 2024 17:57 2s main
main
May 13, 2024 17:57 2s
Refactor of clauses Test JS build #18: Pull request #662 opened by W95Psp
May 13, 2024 17:23 3s clauses-661
clauses-661
May 13, 2024 17:23 3s
Test JS build Test JS build #17: Merge group checks requested
May 13, 2024 17:12 9m 49s
May 13, 2024 17:12 9m 49s
Merge pull request #659 from hacspec/fix-506 Test JS build #16: Commit 5a56523 pushed by github-merge-queue bot
May 13, 2024 08:39 4s main
main
May 13, 2024 08:39 4s
Test JS build Test JS build #15: Merge group checks requested
May 13, 2024 07:58 8m 41s
May 13, 2024 07:58 8m 41s
fix(nix/): engine: js: allow dune-js, make only one output Test JS build #14: Pull request #659 synchronize by W95Psp
May 13, 2024 07:50 2s fix-506
fix-506
May 13, 2024 07:50 2s
Merge pull request #657 from hacspec/add-reference-to-book Test JS build #13: Commit b70d990 pushed by github-merge-queue bot
May 13, 2024 07:36 2s main
main
May 13, 2024 07:36 2s
fix(nix/): engine: js: allow dune-js, make only one output Test JS build #12: Pull request #659 opened by W95Psp
May 13, 2024 07:29 2s fix-506
fix-506
May 13, 2024 07:29 2s
Merge pull request #656 from hacspec/franziskus/hax-lib-release1 Test JS build #11: Commit f4128b4 pushed by github-merge-queue bot
May 13, 2024 07:16 3s main
main
May 13, 2024 07:16 3s
Test JS build Test JS build #10: Merge group checks requested
May 13, 2024 06:52 8m 22s
May 13, 2024 06:52 8m 22s
feat(readme): add links Test JS build #9: Pull request #657 opened by W95Psp
May 13, 2024 06:37 3s add-reference-to-book
add-reference-to-book
May 13, 2024 06:37 3s
Test JS build Test JS build #8: Merge group checks requested
May 13, 2024 06:34 8m 14s
May 13, 2024 06:34 8m 14s
prepare hax-lib for publishing Test JS build #7: Pull request #656 synchronize by franziskuskiefer
May 13, 2024 06:29 3s franziskus/hax-lib-release1
franziskus/hax-lib-release1
May 13, 2024 06:29 3s
prepare hax-lib for publishing Test JS build #6: Pull request #656 opened by franziskuskiefer
May 8, 2024 07:28 3s franziskus/hax-lib-release1
franziskus/hax-lib-release1
May 8, 2024 07:28 3s
Bump rustc version Test JS build #5: Pull request #655 opened by Nadrieril
May 7, 2024 15:35 3s Nadrieril:update-rustc
Nadrieril:update-rustc
May 7, 2024 15:35 3s
Merge pull request #506 from hacspec/disable-js-build Test JS build #4: Commit 228e53b pushed by github-merge-queue bot
May 7, 2024 14:07 3s main
main
May 7, 2024 14:07 3s
Test JS build Test JS build #3: Merge group checks requested
May 7, 2024 13:26 4m 48s
May 7, 2024 13:26 4m 48s
fix(engine/dune): disable js build by default Test JS build #2: Pull request #506 synchronize by W95Psp
May 7, 2024 11:19 3s disable-js-build
disable-js-build
May 7, 2024 11:19 3s
fix(engine/dune): disable js build by default Test JS build #1: Pull request #506 synchronize by W95Psp
May 7, 2024 07:31 3s disable-js-build
disable-js-build
May 7, 2024 07:31 3s
ProTip! You can narrow down the results and go further in time using created:<2024-05-07 or the other filters available.