Skip to content

Actions: Deducteam/personoj

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
128 workflow runs
128 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
More thorough install procedure check_encoding #496: Commit 7ba7f5f pushed by gabrielhdt
January 24, 2024 09:06 4m 4s install-procedure
install-procedure
January 24, 2024 09:06 4m 4s
More thorough install procedure Translator unit tests #272: Commit 7ba7f5f pushed by gabrielhdt
January 24, 2024 09:06 1m 55s install-procedure
install-procedure
January 24, 2024 09:06 1m 55s
More thorough install procedure Translate and typecheck Prelude #541: Commit 7ba7f5f pushed by gabrielhdt
January 24, 2024 09:06 5m 47s install-procedure
install-procedure
January 24, 2024 09:06 5m 47s
No newline at end of error Check markdown links #31: Commit 961f003 pushed by gabrielhdt
January 24, 2024 08:21 30s install-procedure
install-procedure
January 24, 2024 08:21 30s