Skip to content

Actions: CakeML/candle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Fix + Add 100/cayley_hamilton.ml to regression (#12) Regression Tests #21: Commit 2ec1ed9 pushed by dnezam
20m 17s master
master
20m 17s
Fix + Add 100/cayley_hamilton.ml to regression Regression Tests #20: Pull request #12 opened by dnezam
20m 51s fix-multivariate
fix-multivariate
20m 51s
Merge pull request #11 from CakeML/sync Regression Tests #19: Commit 7da6742 pushed by dnezam
5m 4s master
master
5m 4s
Merge changes from HOL Light Regression Tests #18: Pull request #11 opened by dnezam
5m 0s sync
sync
5m 0s
Extend ocaml.ml (#10) Regression Tests #17: Commit bbdc397 pushed by dnezam
5m 27s master
master
5m 27s
Extend ocaml.ml Regression Tests #16: Pull request #10 opened by dnezam
4m 51s extend-ocaml-interface
extend-ocaml-interface
4m 51s
Move Candle specific files to a new subdirectory Regression Tests #15: Commit 7b470ac pushed by dnezam
4m 48s master
master
4m 48s
Move Candle specific files to a new subdirectory Regression Tests #14: Pull request #9 opened by dnezam
4m 57s move-candle-files
move-candle-files
4m 57s
Fix CI (#8) Regression Tests #13: Commit 64543e9 pushed by dnezam
4m 59s master
master
4m 59s
Fix CI Regression Tests #12: Pull request #8 synchronize by dnezam
5m 6s fix-ci
fix-ci
5m 6s
Fix CI Regression Tests #11: Pull request #8 synchronize by dnezam
16s fix-ci
fix-ci
16s
Fix CI Regression Tests #10: Pull request #8 opened by dnezam
1m 51s fix-ci
fix-ci
1m 51s
Fix build-instructions.sh to copy candle_boot.ml from archive Regression Tests #9: Commit cb845c1 pushed by dnezam
8s master
master
8s
Fix build-instructions.sh to copy candle_boot.ml from archive Regression Tests #8: Pull request #7 opened by dnezam
9s fix-build-script
fix-build-script
9s
Merge pull request #6 from CakeML/merge-hol-light Regression Tests #7: Commit 7005f23 pushed by dnezam
10s master
master
10s
Merge in current HOL Light Regression Tests #6: Pull request #6 opened by dnezam
10s merge-hol-light
merge-hol-light
10s
Implement OCaml API + Add regression (#5) Regression Tests #5: Commit 428f422 pushed by dnezam
8s master
master
8s
Implement OCaml API + Add regression Regression Tests #4: Pull request #5 synchronize by dnezam
10s ocaml-api
ocaml-api
10s
Implement OCaml API + Add regression Regression Tests #3: Pull request #5 synchronize by dnezam
9s ocaml-api
ocaml-api
9s
Implement OCaml API + Add regression Regression Tests #2: Pull request #5 synchronize by dnezam
9s ocaml-api
ocaml-api
9s
Implement OCaml API + Add regression Regression Tests #1: Pull request #5 opened by dnezam
9s ocaml-api
ocaml-api
9s