Skip to content

Actions: amirlb/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add Amir's repository Lint Style #9: Commit 8fdbc8d pushed by amirlb
October 1, 2024 15:09 16s main
main
October 1, 2024 15:09 16s
Update Dependencies Update Dependencies #1: Scheduled
October 1, 2024 08:08 4m 59s main
main
October 1, 2024 08:08 4m 59s
Add Lean code for computing the transitive closure (#126) Lint Style #8: Commit 35ea860 pushed by amirlb
October 1, 2024 06:05 15s main
main
October 1, 2024 06:05 15s
Add Lean code for computing the transitive closure (#126) Compile blueprint #8: Commit 35ea860 pushed by amirlb
October 1, 2024 06:05 22m 52s main
main
October 1, 2024 06:05 22m 52s
Update Subgraph.lean Compile blueprint #7: Commit 4908465 pushed by amirlb
September 30, 2024 20:40 24m 30s main
main
September 30, 2024 20:40 24m 30s
Update Subgraph.lean Lint Style #7: Commit 4908465 pushed by amirlb
September 30, 2024 20:40 15s main
main
September 30, 2024 20:40 15s
Massive generation of refutations via polynomials over Z/nZ (#19) Lint Style #6: Commit 8cc1cd8 pushed by amirlb
September 30, 2024 12:46 12s main
main
September 30, 2024 12:46 12s
Massive generation of refutations via polynomials over Z/nZ (#19) Compile blueprint #6: Commit 8cc1cd8 pushed by amirlb
September 30, 2024 12:46 23m 56s main
main
September 30, 2024 12:46 23m 56s
Merge branch 'main' of https://github.com/teorth/equational_theories Lint Style #5: Commit 8ff35ba pushed by amirlb
September 29, 2024 18:23 14s main
main
September 29, 2024 18:23 14s
Merge branch 'main' of https://github.com/teorth/equational_theories Compile blueprint #5: Commit 8ff35ba pushed by amirlb
September 29, 2024 18:23 22m 49s main
main
September 29, 2024 18:23 22m 49s
Merge branch 'main' of https://github.com/teorth/equational_theories Compile blueprint #4: Commit 3474708 pushed by amirlb
September 28, 2024 19:15 45m 0s main
main
September 28, 2024 19:15 45m 0s
Merge branch 'main' of https://github.com/teorth/equational_theories Lint Style #4: Commit 3474708 pushed by amirlb
September 28, 2024 19:15 13s main
main
September 28, 2024 19:15 13s
Update propose-pr.yml Lint Style #3: Commit d3323b4 pushed by amirlb
September 28, 2024 16:36 14s main
main
September 28, 2024 16:36 14s
Update propose-pr.yml Compile blueprint #3: Commit d3323b4 pushed by amirlb
September 28, 2024 16:36 19m 9s main
main
September 28, 2024 16:36 19m 9s
Merge pull request #49 from ChienYungChi/main Lint Style #2: Commit 3be12fd pushed by amirlb
September 28, 2024 11:13 16s main
main
September 28, 2024 11:13 16s
Merge pull request #49 from ChienYungChi/main Compile blueprint #2: Commit 3be12fd pushed by amirlb
September 28, 2024 11:13 20m 23s main
main
September 28, 2024 11:13 20m 23s
Update Dependencies Update Dependencies #1: Scheduled
September 28, 2024 08:05 2m 41s main
main
September 28, 2024 08:05 2m 41s
Add 5 and 40 proof_wanteds Compile blueprint #1: Commit 7ecef5a pushed by amirlb
September 28, 2024 04:55 20m 22s main
main
September 28, 2024 04:55 20m 22s
Add 5 and 40 proof_wanteds Lint Style #1: Commit 7ecef5a pushed by amirlb
September 28, 2024 04:55 11s main
main
September 28, 2024 04:55 11s