Skip to content

Actions: ash-project/crux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 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
Scorecard supply-chain security Scorecard supply-chain security #65: Scheduled
33s main
main
33s
chore: release version v0.1.3 Ash CI #71: Commit 06bb02c pushed by zachdaniel
4m 27s main
main
4m 27s
chore: release version v0.1.3 Ash CI #70: Commit 06bb02c pushed by zachdaniel
5m 24s v0.1.3
v0.1.3
5m 24s
chore: release version v0.1.3 Scorecard supply-chain security #64: Commit 06bb02c pushed by zachdaniel
35s main
main
35s
improvement: apply tseitin transformation to CNF conversion (#28) Ash CI #69: Commit 562ee15 pushed by zachdaniel
4m 41s main
main
4m 41s
improvement: apply tseitin transformation to CNF conversion (#28) Scorecard supply-chain security #63: Commit 562ee15 pushed by zachdaniel
39s main
main
39s
improvement: apply tseitin transformation to CNF conversion Ash CI #68: Pull request #28 synchronize by zachdaniel
3m 53s tseitin-transformation
tseitin-transformation
3m 53s
improvement: apply tseitin transformation to CNF conversion Ash CI #67: Pull request #28 synchronize by zachdaniel
2m 27s tseitin-transformation
tseitin-transformation
2m 27s
improvement: apply tseitin transformation to CNF conversion Ash CI #66: Pull request #28 synchronize by zachdaniel
2m 51s tseitin-transformation
tseitin-transformation
2m 51s
improvement: apply tseitin transformation to CNF conversion Ash CI #65: Pull request #28 opened by zachdaniel
2m 36s tseitin-transformation
tseitin-transformation
2m 36s
Scorecard supply-chain security Scorecard supply-chain security #62: Scheduled
45s main
main
45s
fix: exactly_one/1 produces wrong results for N > 2 variables (#26) Ash CI #64: Commit d832ace pushed by zachdaniel
2m 47s main
main
2m 47s
fix: exactly_one/1 produces wrong results for N > 2 variables (#26) Scorecard supply-chain security #61: Commit d832ace pushed by zachdaniel
33s main
main
33s
Update Deps Ash CI #63: Commit 67d5e3c pushed by maennchen
4m 28s main
main
4m 28s
Update Deps Scorecard supply-chain security #60: Commit 67d5e3c pushed by maennchen
39s main
main
39s
fix: exactly_one/1 produces wrong results for N > 2 variables Ash CI #61: Pull request #26 opened by matt-beanland
4m 26s matt-beanland:fix/exactly-one-n-variables
matt-beanland:fix/exactly-one-n-variables
4m 26s
Scorecard supply-chain security Scorecard supply-chain security #59: Scheduled
45s main
main
45s
chore(deps-dev): bump the dev-dependencies group with 3 updates (#25) Ash CI #60: Commit e67824a pushed by maennchen
4m 17s main
main
4m 17s
chore(deps-dev): bump the dev-dependencies group with 3 updates (#25) Scorecard supply-chain security #58: Commit e67824a pushed by maennchen
45s main
main
45s
chore(deps): bump actions/upload-artifact in the github-actions group… Ash CI #59: Commit c9d6c5f pushed by maennchen
4m 34s main
main
4m 34s
chore(deps): bump actions/upload-artifact in the github-actions group… Scorecard supply-chain security #57: Commit c9d6c5f pushed by maennchen
26s main
main
26s
chore(deps-dev): bump the dev-dependencies group with 3 updates Ash CI #58: Pull request #25 opened by dependabot Bot
4m 22s dependabot/hex/dev-dependencies-cad669408a
dependabot/hex/dev-dependencies-cad669408a
4m 22s
chore(deps): bump actions/upload-artifact from 7.0.0 to 7.0.1 in the github-actions group Ash CI #57: Pull request #24 opened by dependabot Bot
4m 25s dependabot/github_actions/github-actions-4684ddd577
dependabot/github_actions/github-actions-4684ddd577
4m 25s
github_actions in /. - Update #1344675284 Dependabot Updates #17: by dependabot Bot
43s main
main
43s
hex in /. - Update #1344675278 Dependabot Updates #16: by dependabot Bot
1m 25s main
main
1m 25s