Skip to content

Actions: Deducteam/personoj

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump ocaml/setup-ocaml from 2 to 3 Translator unit tests #278: Commit 1ba226e pushed by dependabot bot
July 2, 2024 20:34 2m 4s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 2, 2024 20:34 2m 4s
Bump ocaml/setup-ocaml from 2 to 3 Check markdown links #38: Commit 1ba226e pushed by dependabot bot
July 2, 2024 20:34 33s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 2, 2024 20:34 33s
Bump ocaml/setup-ocaml from 2 to 3 Translate and typecheck Prelude #547: Commit 1ba226e pushed by dependabot bot
July 2, 2024 20:34 8m 20s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 2, 2024 20:34 8m 20s
Bump ocaml/setup-ocaml from 2 to 3 check_encoding #502: Commit 1ba226e pushed by dependabot bot
July 2, 2024 20:34 6m 9s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 2, 2024 20:34 6m 9s
Merge pull request #18 from Deducteam/rename-functions check_encoding #501: Commit c740220 pushed by gabrielhdt
January 24, 2024 10:12 3m 50s master
master
January 24, 2024 10:12 3m 50s
Merge pull request #18 from Deducteam/rename-functions Check markdown links #37: Commit c740220 pushed by gabrielhdt
January 24, 2024 10:12 30s master
master
January 24, 2024 10:12 30s
Merge pull request #18 from Deducteam/rename-functions Translator unit tests #277: Commit c740220 pushed by gabrielhdt
January 24, 2024 10:12 2m 29s master
master
January 24, 2024 10:12 2m 29s
Merge pull request #18 from Deducteam/rename-functions Translate and typecheck Prelude #546: Commit c740220 pushed by gabrielhdt
January 24, 2024 10:12 5m 41s master
master
January 24, 2024 10:12 5m 41s
Minor CI fixes check_encoding #500: Commit 5fcf0f3 pushed by gabrielhdt
January 24, 2024 10:02 3m 33s rename-functions
rename-functions
January 24, 2024 10:02 3m 33s
Minor CI fixes Translate and typecheck Prelude #545: Commit 5fcf0f3 pushed by gabrielhdt
January 24, 2024 10:02 5m 47s rename-functions
rename-functions
January 24, 2024 10:02 5m 47s
Minor CI fixes Translator unit tests #276: Commit 5fcf0f3 pushed by gabrielhdt
January 24, 2024 10:02 2m 1s rename-functions
rename-functions
January 24, 2024 10:02 2m 1s
Minor CI fixes Check markdown links #36: Commit 5fcf0f3 pushed by gabrielhdt
January 24, 2024 10:02 28s rename-functions
rename-functions
January 24, 2024 10:02 28s
Rename to pp-lp, centralised in one file Check markdown links #35: Commit 66c2797 pushed by gabrielhdt
January 24, 2024 09:55 31s rename-functions
rename-functions
January 24, 2024 09:55 31s
Rename to pp-lp, centralised in one file check_encoding #499: Commit 66c2797 pushed by gabrielhdt
January 24, 2024 09:55 3m 24s rename-functions
rename-functions
January 24, 2024 09:55 3m 24s
Rename to pp-lp, centralised in one file Translate and typecheck Prelude #544: Commit 66c2797 pushed by gabrielhdt
January 24, 2024 09:55 5m 43s rename-functions
rename-functions
January 24, 2024 09:55 5m 43s
Rename to pp-lp, centralised in one file Translator unit tests #275: Commit 66c2797 pushed by gabrielhdt
January 24, 2024 09:55 1m 56s rename-functions
rename-functions
January 24, 2024 09:55 1m 56s
Rename pp-dk into pp-lp Translator unit tests #274: Commit 47ca9fc pushed by gabrielhdt
January 24, 2024 09:40 2m 14s rename-functions
rename-functions
January 24, 2024 09:40 2m 14s
Rename pp-dk into pp-lp Check markdown links #34: Commit 47ca9fc pushed by gabrielhdt
January 24, 2024 09:40 28s rename-functions
rename-functions
January 24, 2024 09:40 28s
Rename pp-dk into pp-lp Translate and typecheck Prelude #543: Commit 47ca9fc pushed by gabrielhdt
January 24, 2024 09:40 5m 38s rename-functions
rename-functions
January 24, 2024 09:40 5m 38s
Rename pp-dk into pp-lp check_encoding #498: Commit 47ca9fc pushed by gabrielhdt
January 24, 2024 09:40 3m 25s rename-functions
rename-functions
January 24, 2024 09:40 3m 25s
Merge pull request #17 from Deducteam/install-procedure Translator unit tests #273: Commit f87424d pushed by gabrielhdt
January 24, 2024 09:26 1m 49s master
master
January 24, 2024 09:26 1m 49s
Merge pull request #17 from Deducteam/install-procedure check_encoding #497: Commit f87424d pushed by gabrielhdt
January 24, 2024 09:26 3m 21s master
master
January 24, 2024 09:26 3m 21s
Merge pull request #17 from Deducteam/install-procedure Check markdown links #33: Commit f87424d pushed by gabrielhdt
January 24, 2024 09:26 29s master
master
January 24, 2024 09:26 29s
Merge pull request #17 from Deducteam/install-procedure Translate and typecheck Prelude #542: Commit f87424d pushed by gabrielhdt
January 24, 2024 09:26 5m 49s master
master
January 24, 2024 09:26 5m 49s
More thorough install procedure Check markdown links #32: Commit 7ba7f5f pushed by gabrielhdt
January 24, 2024 09:06 32s install-procedure
install-procedure
January 24, 2024 09:06 32s