Skip to content

Actions: epfl-lara/dotty

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
LARA Release to Maven Central LARA Release to Maven Central #26: Manually run by mbovel
24m 13s refinement-types
refinement-types
24m 13s
LARA Release to Maven Central LARA Release to Maven Central #25: Manually run by mbovel
24m 18s refinement-types
refinement-types
24m 18s
Scoverage Scoverage #3: Scheduled
41m 1s refinement-types
refinement-types
41m 1s
Scoverage Scoverage #2: Scheduled
38m 54s refinement-types
refinement-types
38m 54s
LARA Release to Maven Central LARA Release to Maven Central #24: Manually run by mbovel
20m 1s refinement-types
refinement-types
20m 1s
[fork-only] CI Setup Specification #46: Commit 513d792 pushed by mbovel
1m 45s refinement-types
refinement-types
1m 45s
[fork-only] CI Setup scaladoc #44: Commit 513d792 pushed by mbovel
25s refinement-types
refinement-types
25s
Scoverage Scoverage #1: Scheduled
38m 58s refinement-types
refinement-types
38m 58s
LARA Release to Maven Central LARA Release to Maven Central #23: Manually run by mbovel
33m 0s refinement-types
refinement-types
33m 0s
[fork-only] CI Setup scaladoc #43: Commit 611589a pushed by mbovel
36s refinement-types
refinement-types
36s
[fork-only] CI Setup Specification #45: Commit 611589a pushed by mbovel
1m 19s refinement-types
refinement-types
1m 19s
Treat <= as a primitive relation in the E-Graph Specification #44: Commit 04f29f0 pushed by mbovel
1m 24s refinement-types
refinement-types
1m 24s
Treat <= as a primitive relation in the E-Graph scaladoc #42: Commit 04f29f0 pushed by mbovel
27s refinement-types
refinement-types
27s
LARA Release to Maven Central LARA Release to Maven Central #22: Manually run by mbovel
24m 9s refinement-types
refinement-types
24m 9s
[fork-only] CI Setup scaladoc #41: Commit 8a01654 pushed by mbovel
50s refinement-types
refinement-types
50s
[fork-only] CI Setup Specification #43: Commit 8a01654 pushed by mbovel
1m 37s refinement-types
refinement-types
1m 37s
ANF: don't lift skolem-free expressions in hoist Specification #42: Commit 1aead90 pushed by mbovel
1m 36s refinement-types
refinement-types
1m 36s
ANF: don't lift skolem-free expressions in hoist scaladoc #40: Commit 1aead90 pushed by mbovel
1m 40s refinement-types
refinement-types
1m 40s
LARA Release to Maven Central LARA Release to Maven Central #21: Manually run by mbovel
28m 25s refinement-types
refinement-types
28m 25s
[fork-only] CI Setup scaladoc #39: Commit cf86bba pushed by mbovel
31s refinement-types
refinement-types
31s
[fork-only] CI Setup Specification #41: Commit cf86bba pushed by mbovel
2m 15s refinement-types
refinement-types
2m 15s
LARA Release to Maven Central LARA Release to Maven Central #20: Manually run by mbovel
1h 24m 40s refinement-types
refinement-types
1h 24m 40s
[fork-only] CI Setup scaladoc #38: Commit 939cc1a pushed by mbovel
32s refinement-types
refinement-types
32s
[fork-only] CI Setup Specification #40: Commit 939cc1a pushed by mbovel
1m 57s refinement-types
refinement-types
1m 57s
LARA Release to Maven Central LARA Release to Maven Central #19: Manually run by mbovel
26m 33s refinement-types
refinement-types
26m 33s