Skip to content

Actions: plctlab/mzi-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: More readable negative test expects (#1266) test #5: Commit f89eb5e pushed by ice1000
December 31, 2024 03:44 2m 29s main
main
December 31, 2024 03:44 2m 29s
merge: More readable negative test expects (#1266) nightly #5: Commit f89eb5e pushed by ice1000
December 31, 2024 03:44 15s main
main
December 31, 2024 03:44 15s
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