Skip to content

Actions: snarkify/sirius

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,183 workflow runs
1,183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: integrate inspect_err Main Build #342: Pull request #102 opened by cyphersnake
January 11, 2024 11:49 2m 48s inspect-err
inspect-err
January 11, 2024 11:49 2m 48s
test(ivc): impl fold_challenges_test (#99) Main Build #341: Commit a3358fe pushed by cyphersnake
January 11, 2024 11:26 2m 39s main
main
January 11, 2024 11:26 2m 39s
test(ivc): impl fold_challenges_test Main Build #340: Pull request #99 synchronize by cyphersnake
January 11, 2024 11:24 2m 46s 32-fold-challenges
32-fold-challenges
January 11, 2024 11:24 2m 46s
test(ivc): impl fold_instances_test (#101) Main Build #339: Commit e3f628f pushed by cyphersnake
January 11, 2024 11:22 2m 41s main
main
January 11, 2024 11:22 2m 41s
test(ivc): impl fold_instances_test Main Build #338: Pull request #101 synchronize by cyphersnake
January 11, 2024 11:09 2m 35s 32-fold-instances
32-fold-instances
January 11, 2024 11:09 2m 35s
feat(mg): impl cyclic assigner (#97) Main Build #337: Commit 3c357c2 pushed by cyphersnake
January 11, 2024 11:04 2m 35s main
main
January 11, 2024 11:04 2m 35s
feat(mg): impl cyclic assigner Main Build #336: Pull request #97 synchronize by cyphersnake
January 11, 2024 11:03 2m 40s mg-assign-next-column
mg-assign-next-column
January 11, 2024 11:03 2m 40s
test(ivc): impl `fold_E_test (#86) Main Build #335: Commit 1151dd2 pushed by cyphersnake
January 11, 2024 11:00 2m 49s main
main
January 11, 2024 11:00 2m 49s
test(ivc): impl fold_challenges_test Main Build #334: Pull request #99 synchronize by cyphersnake
January 11, 2024 10:13 2m 39s 32-fold-challenges
32-fold-challenges
January 11, 2024 10:13 2m 39s
test(ivc): impl fold_instances_test Main Build #333: Pull request #101 synchronize by cyphersnake
January 11, 2024 10:09 2m 41s 32-fold-instances
32-fold-instances
January 11, 2024 10:09 2m 41s
test(ivc): impl fold_instances_test Main Build #332: Pull request #101 opened by cyphersnake
January 11, 2024 10:09 2m 49s 32-fold-instances
32-fold-instances
January 11, 2024 10:09 2m 49s
feat(mg): impl cyclic assigner Main Build #331: Pull request #97 synchronize by cyphersnake
January 11, 2024 10:04 2m 44s mg-assign-next-column
mg-assign-next-column
January 11, 2024 10:04 2m 44s
test(ivc): impl `fold_E_test Main Build #330: Pull request #86 synchronize by cyphersnake
January 11, 2024 10:03 2m 50s 32-fold-E-tests
32-fold-E-tests
January 11, 2024 10:03 2m 50s
feat(mg): impl cyclic assigner Main Build #329: Pull request #97 synchronize by cyphersnake
January 11, 2024 09:58 2m 39s mg-assign-next-column
mg-assign-next-column
January 11, 2024 09:58 2m 39s
test(ivc): impl `fold_E_test Main Build #328: Pull request #86 synchronize by cyphersnake
January 11, 2024 09:57 2m 41s 32-fold-E-tests
32-fold-E-tests
January 11, 2024 09:57 2m 41s
test(ivc): impl `fold_E_test Main Build #327: Pull request #86 synchronize by cyphersnake
January 11, 2024 09:56 3m 19s 32-fold-E-tests
32-fold-E-tests
January 11, 2024 09:56 3m 19s
ci: turn on workflow for all PR (#100) Main Build #326: Commit c556dc2 pushed by cyphersnake
January 11, 2024 09:55 2m 42s main
main
January 11, 2024 09:55 2m 42s
test(ivc): impl `fold_E_test Main Build #325: Pull request #86 synchronize by cyphersnake
January 11, 2024 09:54 2m 47s 32-fold-E-tests
32-fold-E-tests
January 11, 2024 09:54 2m 47s
ci: turn on workflow for all PR Main Build #324: Pull request #100 synchronize by cyphersnake
January 10, 2024 18:48 2m 36s ci-turn-on-for-all-pr
ci-turn-on-for-all-pr
January 10, 2024 18:48 2m 36s
ci: turn on workflow for all PR Main Build #323: Commit a644b2b pushed by cyphersnake
January 10, 2024 18:45 Failure ci-turn-on-for-all-pr
ci-turn-on-for-all-pr
January 10, 2024 18:45 Failure
test(ivc): impl `fold_E_test Main Build #322: Pull request #86 synchronize by cyphersnake
January 10, 2024 15:53 2m 45s 32-fold-E-tests
32-fold-E-tests
January 10, 2024 15:53 2m 45s
fix(bn): limbs limit in assign_sum Main Build #321: Commit 67f2741 pushed by cyphersnake
January 10, 2024 15:52 2m 56s main
main
January 10, 2024 15:52 2m 56s
fix(bn): limbs limit in assign_sum Main Build #320: Pull request #94 synchronize by cyphersnake
January 10, 2024 14:47 2m 38s bn-fix-sum-limbs-limit
bn-fix-sum-limbs-limit
January 10, 2024 14:47 2m 38s
fix is_sat_perm (#96) Main Build #319: Commit ef28d7a pushed by cyphersnake
January 10, 2024 14:47 2m 43s main
main
January 10, 2024 14:47 2m 43s
fix is_sat_perm Main Build #318: Pull request #96 opened by chaosma
January 10, 2024 07:43 2m 32s fix-perm
fix-perm
January 10, 2024 07:43 2m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-01-10 or the other filters available.