nightly · Workflow runs · plctlab/mzi-lang · GitHub

Actions

nightly

Actions

Loading...
Loading

nightly-build.yaml

4 workflow runs

4 workflow runs

merge: More things in the lib, handle empty patterns (#1095) nightly #4: Commit d6624a9 pushed by ice1000

June 4, 2024 17:53

18s main

main

June 4, 2024 17:53

18s

merge: data -> inductive (#1070) nightly #3: Commit 2015fd5 pushed by ice1000

May 31, 2024 21:10

15s main

main

May 31, 2024 21:10

15s

version: release 0.30 (#1025) nightly #2: Commit 6c5ec7f pushed by ice1000

January 4, 2024 03:56

13s main

main

January 4, 2024 03:56

13s

merge: split tools, upgrade to Java 21 (#1022) nightly #1: Commit 808d4ef pushed by ice1000

December 13, 2023 07:40

16s main

main

December 13, 2023 07:40

16s