Skip to content

Actions: ocaml-sf/learn-ocaml-corpus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #46 from AltGr/stdren
CI #26: Commit 4afc158 pushed by AltGr
July 26, 2024 10:10 3m 41s master
July 26, 2024 10:10 3m 41s
Rename changed references in the OCaml stdlib
CI #25: Pull request #46 opened by AltGr
July 26, 2024 08:24 3m 49s AltGr:stdren
July 26, 2024 08:24 3m 49s
fix(CI): Add ocamlsf/learn-ocaml:0.16.0 (#41)
CI #23: Commit 1cc495b pushed by erikmd
February 13, 2024 00:04 3m 49s master
February 13, 2024 00:04 3m 49s
fix(CI): Add ocamlsf/learn-ocaml:0.16.0
CI #22: Pull request #41 opened by erikmd
February 12, 2024 23:59 3m 44s fix-ci
February 12, 2024 23:59 3m 44s
Improved solution for smelodesousa/F5/5-brackets (#40)
CI #21: Commit d9e3a6e pushed by erikmd
February 9, 2024 11:50 3m 40s master
February 9, 2024 11:50 3m 40s
Improved solution for smelodesousa/F5/5-brackets
CI #20: Pull request #40 synchronize by zazedd
February 9, 2024 01:21 3m 47s zazedd:master
February 9, 2024 01:21 3m 47s
Improved solution for smelodesousa/F5/5-brackets
CI #19: Pull request #40 synchronize by zazedd
February 7, 2024 23:54 3m 44s zazedd:master
February 7, 2024 23:54 3m 44s
Merge pull request #37 from hernoufM/master
CI #17: Commit 5b94c8c pushed by AltGr
October 30, 2023 13:31 4m 37s master
October 30, 2023 13:31 4m 37s
Adding new set of exercises + Organising corpus.
CI #16: Pull request #37 synchronize by AltGr
October 30, 2023 13:26 4m 35s hernoufM:master
October 30, 2023 13:26 4m 35s
Adding new set of exercises + Organising corpus.
CI #15: Pull request #37 synchronize by AltGr
October 27, 2023 11:11 4m 16s hernoufM:master
October 27, 2023 11:11 4m 16s
Adding new set of exercises + Organising corpus.
CI #14: Pull request #37 synchronize by AltGr
October 26, 2023 18:42 8m 20s hernoufM:master
October 26, 2023 18:42 8m 20s
Merge pull request #38 from ocaml-sf/gha
CI #13: Commit 54a1cec pushed by erikmd
October 13, 2023 21:27 1m 53s master
October 13, 2023 21:27 1m 53s
Add GHA workflow
CI #12: Pull request #38 synchronize by erikmd
October 13, 2023 21:09 1m 49s gha
gha
October 13, 2023 21:09 1m 49s
Add GHA workflow
CI #11: Pull request #38 synchronize by erikmd
October 13, 2023 21:07 1m 54s gha
gha
October 13, 2023 21:07 1m 54s
Add GHA workflow
CI #10: Pull request #38 synchronize by erikmd
October 13, 2023 21:02 30s gha
gha
October 13, 2023 21:02 30s