Skip to content

Actions: hylo-lang/hylo-new

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add code coverage badge Build and Test #186: Commit 31c3fc2 pushed by tothambrus11
10m 26s main
main
10m 26s
remove tests Build and Test #185: Commit 17b0568 pushed by tothambrus11
9m 28s codecovtest
codecovtest
9m 28s
remove tests Build and Test #184: Commit db051f5 pushed by tothambrus11
9m 23s codecovtest
codecovtest
9m 23s
Add base property to codecov Build and Test #183: Commit a1b598c pushed by tothambrus11
10m 22s codecovtest
codecovtest
10m 22s
[codecov test] Build and Test #182: Commit fd6979e pushed by tothambrus11
9m 37s codecovtest
codecovtest
9m 37s
[codecov test] Build and Test #181: Commit e82bf78 pushed by tothambrus11
9m 7s main
main
9m 7s
[codecov test] Build and Test #180: Commit 539b306 pushed by tothambrus11
10m 7s simplify-triggers
simplify-triggers
10m 7s
random change Build and Test #179: Commit 65b2971 pushed by tothambrus11
8m 53s simplify-triggers
simplify-triggers
8m 53s
random change Build and Test #178: Commit 418bc27 pushed by tothambrus11
9m 26s simplify-triggers
simplify-triggers
9m 26s
Simplify CI trigger for build and test workflow Build and Test #177: Commit 40b985c pushed by tothambrus11
9m 59s simplify-triggers
simplify-triggers
9m 59s
Add code coverage exporting and uploading Build and Test #176: Commit 71a676f pushed by tothambrus11
10m 18s main
main
10m 18s
Add code coverage exporting and uploading Build and Test #175: Pull request #48 synchronize by tothambrus11
9m 44s codecov
codecov
9m 44s
Add code coverage exporting and uploading Build and Test #174: Commit b8f2c2c pushed by tothambrus11
9m 19s codecov
codecov
9m 19s
Add code coverage exporting and uploading Build and Test #173: Pull request #48 opened by tothambrus11
2m 24s codecov
codecov
2m 24s
Add code coverage exporting and uploading Build and Test #172: Commit dad64f8 pushed by tothambrus11
2m 28s codecov
codecov
2m 28s
Language server support Build and Test #171: Pull request #13 synchronize by tothambrus11
9m 41s lsp-support
lsp-support
9m 41s
Fix distributable building Build and Test #170: Commit 16d48e2 pushed by tothambrus11
9m 34s lsp-support
lsp-support
9m 34s
Lower witness expressions involving term applications (#47) Build and Test #169: Commit 50edfef pushed by kyouko-taiga
9m 21s main
main
9m 21s
Lower witness expressions involving term applications Build and Test #168: Pull request #47 synchronize by kyouko-taiga
9m 34s nullary-conformances
nullary-conformances
9m 34s
Add a test for the lowering of stored bindings Build and Test #167: Commit 32beebb pushed by kyouko-taiga
9m 32s nullary-conformances
nullary-conformances
9m 32s
Lower witness expressions involving term applications Build and Test #166: Pull request #47 opened by kyouko-taiga
9m 44s nullary-conformances
nullary-conformances
9m 44s
Define the conformance of tuples to 'Movables' Build and Test #165: Commit cfd6503 pushed by kyouko-taiga
9m 51s nullary-conformances
nullary-conformances
9m 51s
Pin Archivist version Build and Test #164: Commit 2a4df8d pushed by tothambrus11
9m 38s main
main
9m 38s
Pin Archivist version Build and Test #163: Pull request #46 opened by tothambrus11
9m 33s update-archivist
update-archivist
9m 33s
Pin Archivist version Build and Test #162: Commit 7f78131 pushed by tothambrus11
9m 46s update-archivist
update-archivist
9m 46s