Skip to content

Actions: cubical-mini/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 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
fix links in generated html + more robust devenv Default build #9: Commit 14ed19b pushed by cmcmA20
19m 16s master
master
19m 16s
ci: bump agda, add manual trigger Default build #8: Commit 92f6e7d pushed by cmcmA20
19m 16s master
master
19m 16s
Default build Default build #7: Manually run by cmcmA20
54s master
master
54s
ci: bump agda, add manual trigger Default build #6: Commit 7e6a5e2 pushed by cmcmA20
43s master
master
43s
doc: more people refs Default build #5: Commit c506793 pushed by cmcmA20
13m 18s master
master
13m 18s
doc: goals and plans Default build #4: Commit d4a05da pushed by cmcmA20
10m 29s master
master
10m 29s
ci: tweak html generation Default build #3: Commit 5154b9a pushed by cmcmA20
9m 15s master
master
9m 15s
ci: enable github actions Default build #2: Commit 50ba6b2 pushed by cmcmA20
15s master
master
15s
ci: enable github actions Default build #1: Commit f7b9c2a pushed by cmcmA20
Failure master
master
Failure