Skip to content

Actions: plctlab/mzi-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: More things in the lib, handle empty patterns (#1095) test #4: Commit d6624a9 pushed by ice1000
June 4, 2024 17:53 1m 53s main
main
June 4, 2024 17:53 1m 53s
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
merge: data -> inductive (#1070) test #3: Commit 2015fd5 pushed by ice1000
May 31, 2024 21:10 2m 2s main
main
May 31, 2024 21:10 2m 2s
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
version: release 0.30 (#1025) test #2: Commit 6c5ec7f pushed by ice1000
January 4, 2024 03:56 2m 9s main
main
January 4, 2024 03:56 2m 9s
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
merge: split tools, upgrade to Java 21 (#1022) test #1: Commit 808d4ef pushed by ice1000
December 13, 2023 07:40 2m 9s main
main
December 13, 2023 07:40 2m 9s