Skip to content

Actions: deed-lang/deed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,728 workflow runs
1,728 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
Compile the two shapes the checker accepted and the backend could not… Performance #268: Commit c15696c pushed by onatozmenn
48s main
main
48s
Compile the two shapes the checker accepted and the backend could not… CI #1372: Commit c15696c pushed by onatozmenn
1m 12s main
main
1m 12s
Compile the two shapes the checker accepted and the backend could not lower CI #1371: Pull request #930 opened by onatozmenn
1m 14s backend-lowers-what-the-checker-accepts
backend-lowers-what-the-checker-accepts
1m 14s
Compile the two shapes the checker accepted and the backend could not lower Performance #267: Pull request #930 opened by onatozmenn
35s backend-lowers-what-the-checker-accepts
backend-lowers-what-the-checker-accepts
35s
Ask the proof model about a fraction (#929) CI #1370: Commit f74135a pushed by onatozmenn
1m 12s main
main
1m 12s
Ask the proof model about a fraction (#929) Performance #266: Commit f74135a pushed by onatozmenn
36s main
main
36s
Ask the proof model about a fraction Performance #265: Pull request #929 synchronize by onatozmenn
45s contracts-over-a-fraction
contracts-over-a-fraction
45s
Ask the proof model about a fraction CI #1369: Pull request #929 synchronize by onatozmenn
1m 15s contracts-over-a-fraction
contracts-over-a-fraction
1m 15s
Let the smallest Int be written down (#928) CI #1368: Commit 812f7b9 pushed by onatozmenn
1m 23s main
main
1m 23s
Let the smallest Int be written down (#928) Performance #264: Commit 812f7b9 pushed by onatozmenn
36s main
main
36s
Ask the proof model about a fraction CI #1367: Pull request #929 opened by onatozmenn
1m 21s contracts-over-a-fraction
contracts-over-a-fraction
1m 21s
Ask the proof model about a fraction Performance #263: Pull request #929 opened by onatozmenn
34s contracts-over-a-fraction
contracts-over-a-fraction
34s
Let the smallest Int be written down CI #1366: Pull request #928 opened by onatozmenn
1m 44s the-smallest-int-written-down
the-smallest-int-written-down
1m 44s
Let the smallest Int be written down Performance #262: Pull request #928 opened by onatozmenn
40s the-smallest-int-written-down
the-smallest-int-written-down
40s
Cut 0.2.5 (#927) Release #8: Commit 849c277 pushed by onatozmenn
1m 40s v0.2.5
v0.2.5
1m 40s
Cut 0.2.5 (#927) CI #1365: Commit 849c277 pushed by onatozmenn
1m 2s main
main
1m 2s
Cut 0.2.5 (#927) Performance #261: Commit 849c277 pushed by onatozmenn
39s main
main
39s
Cut 0.2.5 Performance #260: Pull request #927 opened by onatozmenn
37s release-0-2-5
release-0-2-5
37s
Cut 0.2.5 CI #1364: Pull request #927 opened by onatozmenn
1m 3s release-0-2-5
release-0-2-5
1m 3s
Colour from what the compiler concluded (#926) CI #1363: Commit 847efbf pushed by onatozmenn
1m 10s main
main
1m 10s
Colour from what the compiler concluded (#926) Performance #259: Commit 847efbf pushed by onatozmenn
40s main
main
40s
Colour from what the compiler concluded CI #1362: Pull request #926 synchronize by onatozmenn
2m 15s lsp-semantic-tokens
lsp-semantic-tokens
2m 15s
Colour from what the compiler concluded Performance #258: Pull request #926 synchronize by onatozmenn
40s lsp-semantic-tokens
lsp-semantic-tokens
40s
Colour from what the compiler concluded Performance #257: Pull request #926 synchronize by onatozmenn
35s lsp-semantic-tokens
lsp-semantic-tokens
35s
Colour from what the compiler concluded CI #1361: Pull request #926 synchronize by onatozmenn
2m 22s lsp-semantic-tokens
lsp-semantic-tokens
2m 22s