Skip to content
This repository has been archived by the owner on Oct 19, 2023. It is now read-only.

Actions: mcenv/box

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix compile error Test #990: Commit 7286e82 pushed by intsuc
July 13, 2023 14:25 2m 15s main
main
July 13, 2023 14:25 2m 15s
Optimize quoting Discord #29: Commit 762480b pushed by intsuc
July 13, 2023 14:21 13s main
main
July 13, 2023 14:21 13s
Optimize quoting Test #989: Commit 762480b pushed by intsuc
July 13, 2023 14:21 1m 49s main
main
July 13, 2023 14:21 1m 49s
Optimize quoting Kover #384: Commit 762480b pushed by intsuc
July 13, 2023 14:21 1m 34s main
main
July 13, 2023 14:21 1m 34s
Fine-grained exhaustiveness checking Assign #186: Issue #476 opened by intsuc
July 13, 2023 11:18 16s
July 13, 2023 11:18 16s
Add conservative exhaustiveness checking Kover #383: Commit 40d2b33 pushed by intsuc
July 13, 2023 11:17 2m 7s main
main
July 13, 2023 11:17 2m 7s
Add conservative exhaustiveness checking Discord #28: Commit 40d2b33 pushed by intsuc
July 13, 2023 11:17 12s main
main
July 13, 2023 11:17 12s
Add conservative exhaustiveness checking Test #988: Commit 40d2b33 pushed by intsuc
July 13, 2023 11:17 2m 41s main
main
July 13, 2023 11:17 2m 41s
Fix type hierarchy of if Kover #382: Commit 4a46b4f pushed by intsuc
July 13, 2023 11:01 1m 57s main
main
July 13, 2023 11:01 1m 57s
Fix type hierarchy of if Test #987: Commit 4a46b4f pushed by intsuc
July 13, 2023 11:01 2m 37s main
main
July 13, 2023 11:01 2m 37s
Fix type hierarchy of if Discord #27: Commit 4a46b4f pushed by intsuc
July 13, 2023 11:01 13s main
main
July 13, 2023 11:01 13s
Remove tokenize phase Kover #381: Commit e978795 pushed by intsuc
July 11, 2023 09:05 1m 54s main
main
July 11, 2023 09:05 1m 54s
Remove tokenize phase Discord #26: Commit e978795 pushed by intsuc
July 11, 2023 09:05 11s main
main
July 11, 2023 09:05 11s
Remove tokenize phase Test #986: Commit e978795 pushed by intsuc
July 11, 2023 09:05 2m 52s main
main
July 11, 2023 09:05 2m 52s
Bump actions/upload-pages-artifact from 1 to 2 (#475) Discord #25: Commit 3a22408 pushed by intsuc
July 11, 2023 09:03 11s main
main
July 11, 2023 09:03 11s
Bump actions/upload-pages-artifact from 1 to 2 (#475) Pages #160: Commit 3a22408 pushed by intsuc
July 11, 2023 09:03 48s main
main
July 11, 2023 09:03 48s
Bump actions/upload-pages-artifact from 1 to 2 Assign #185: Pull request #475 opened by dependabot bot
July 11, 2023 09:01 24s dependabot/github_actions/actions/upload-pages-artifact-2
dependabot/github_actions/actions/upload-pages-artifact-2
July 11, 2023 09:01 24s
Bump Gradle to 8.2.1 Test #985: Commit 3138a13 pushed by intsuc
July 10, 2023 13:42 3m 26s main
main
July 10, 2023 13:42 3m 26s
Bump Gradle to 8.2.1 Kover #380: Commit 3138a13 pushed by intsuc
July 10, 2023 13:42 2m 24s main
main
July 10, 2023 13:42 2m 24s
Bump Gradle to 8.2.1 Discord #24: Commit 3138a13 pushed by intsuc
July 10, 2023 13:42 15s main
main
July 10, 2023 13:42 15s
Optimize pattern matching Assign #184: Issue #474 opened by intsuc
July 10, 2023 09:23 20s
July 10, 2023 09:23 20s
Rename match to if Discord #23: Commit 8ca1b53 pushed by intsuc
July 10, 2023 08:58 11s main
main
July 10, 2023 08:58 11s
Rename match to if Test #984: Commit 8ca1b53 pushed by intsuc
July 10, 2023 08:58 2m 18s main
main
July 10, 2023 08:58 2m 18s
Rename match to if Kover #379: Commit 8ca1b53 pushed by intsuc
July 10, 2023 08:58 1m 54s main
main
July 10, 2023 08:58 1m 54s