Skip to content

Actions: barni120400/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
Workflows are not currently being run on this fork due to the scale of GitHub Actions usage. A repository maintainer can choose to re-enable these.
753 workflow runs
753 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
Merge main to nightly-testing Merge main to nightly-testing #86: Scheduled
11s main
main
11s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #56: Scheduled
7s main
main
7s
Merge main to nightly-testing Merge main to nightly-testing #85: Scheduled
1s main
main
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #175: completed by barni120400
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #174: completed by barni120400
1s
1s
refactor(MultiTape): remove the deterministic space measures Lean Action CI #175: Pull request #31 synchronize by barni120400
3m 27s refactor/multitape-single-space-api
refactor/multitape-single-space-api
3m 27s
refactor(MultiTape): remove the deterministic space measures Check PR title for commit convention #199: Pull request #31 synchronize by barni120400
10s refactor/multitape-single-space-api
refactor/multitape-single-space-api
10s
refactor(MultiTape): simulate machines through adapters Check PR title for commit convention #198: Pull request #32 synchronize by barni120400
9s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
9s
refactor(MultiTape): simulate machines through adapters Lean Action CI #174: Pull request #32 synchronize by barni120400
3m 15s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
3m 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #173: completed by barni120400
10s
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #172: completed by barni120400
1s
1s
refactor(MultiTape): simulate machines through adapters Check PR title for commit convention #197: Pull request #32 synchronize by barni120400
8s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
8s
refactor(MultiTape): simulate machines through adapters Lean Action CI #173: Pull request #32 synchronize by barni120400
3m 27s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
3m 27s
refactor(MultiTape): remove the deterministic space measures Check PR title for commit convention #196: Pull request #31 synchronize by barni120400
9s refactor/multitape-single-space-api
refactor/multitape-single-space-api
9s
refactor(MultiTape): remove the deterministic space measures Lean Action CI #172: Pull request #31 synchronize by barni120400
3m 44s refactor/multitape-single-space-api
refactor/multitape-single-space-api
3m 44s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #171: completed by barni120400
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #170: completed by barni120400
1s
1s
refactor(MultiTape): remove the deterministic space measures Check PR title for commit convention #195: Pull request #31 synchronize by barni120400
8s refactor/multitape-single-space-api
refactor/multitape-single-space-api
8s
refactor(MultiTape): remove the deterministic space measures Lean Action CI #171: Pull request #31 synchronize by barni120400
3m 30s refactor/multitape-single-space-api
refactor/multitape-single-space-api
3m 30s
refactor(MultiTape): simulate machines through adapters Check PR title for commit convention #194: Pull request #32 synchronize by barni120400
9s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
9s
refactor(MultiTape): simulate machines through adapters Lean Action CI #170: Pull request #32 synchronize by barni120400
3m 40s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
3m 40s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #169: completed by barni120400
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #168: completed by barni120400
1s
1s
refactor(MultiTape): simulate machines through adapters Lean Action CI #169: Pull request #32 synchronize by barni120400
4m 46s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
4m 46s
refactor(MultiTape): simulate machines through adapters Check PR title for commit convention #193: Pull request #32 synchronize by barni120400
8s refactor/multitape-shared-simulations
refactor/multitape-shared-simulations
8s