Skip to content

Actions: noir-lang/noir

Algolia Recrawl

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,697 workflow runs
1,697 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into zpedro/pk_init
Algolia Recrawl #22: Commit ecdb469 pushed by signorecello
October 29, 2023 14:31 Failure zpedro/pk_init
October 29, 2023 14:31 Failure
chore: fixing conflicts
Algolia Recrawl #21: Commit 9fe7d90 pushed by signorecello
October 29, 2023 11:55 17s kw/add-back-recrawler
October 29, 2023 11:55 17s
cargo fmt
Algolia Recrawl #20: Commit 77fab01 pushed by kevaundray
October 28, 2023 23:30 Failure kw/semver-compiler-version
October 28, 2023 23:30 Failure
feat: enable the fmt command in the help menu
Algolia Recrawl #17: Pull request #3328 by nfurfaro
October 28, 2023 21:30 Failure nfurfaro:furnic/fmt-cmd-help
October 28, 2023 21:30 Failure
chore: format for stmt
Algolia Recrawl #16: Pull request #3333 by ghost
October 28, 2023 21:10 Failure format_for
October 28, 2023 21:10 Failure
chore: format for stmt
Algolia Recrawl #15: Pull request #3333 by ghost
October 28, 2023 20:48 Failure format_for
October 28, 2023 20:48 Failure
chore: Modify single line if-else expression width threshold (#3329)
Algolia Recrawl #12: Commit 47f6699 pushed by github-merge-queue bot
October 28, 2023 19:21 13s master
October 28, 2023 19:21 13s
comment out re-crawler
Algolia Recrawl #11: Commit 60ecee7 pushed by kevaundray
October 28, 2023 19:20 Failure kw/remove-algolia-crawler
October 28, 2023 19:20 Failure
make CI work on this branch
Algolia Recrawl #10: Commit ecedf89 pushed by kevaundray
October 28, 2023 19:07 11s kw/add-back-recrawler
October 28, 2023 19:07 11s
Algolia Recrawl
Algolia Recrawl #9: Manually run by signorecello
October 28, 2023 11:23 13s master
October 28, 2023 11:23 13s
feat: Expand trait impl overlap check to cover generic types (#3320)
Algolia Recrawl #8: Commit a01549b pushed by github-merge-queue bot
October 27, 2023 22:52 15s master
October 27, 2023 22:52 15s
feat: Implement where clauses on impls (#3324)
Algolia Recrawl #7: Commit 4c3d1de pushed by github-merge-queue bot
October 27, 2023 20:32 14s master
October 27, 2023 20:32 14s
chore: builtin wrapping shift left (#3270)
Algolia Recrawl #6: Commit 4a2fce5 pushed by github-merge-queue bot
October 27, 2023 18:45 12s master
October 27, 2023 18:45 12s
chore: format integration tests (#3257)
Algolia Recrawl #5: Commit 5b2b1a8 pushed by github-merge-queue bot
October 27, 2023 18:25 14s master
October 27, 2023 18:25 14s
fix(3275): activate brillig modulo test with negative integers (#3318)
Algolia Recrawl #4: Commit 31c493c pushed by github-merge-queue bot
October 27, 2023 16:10 13s master
October 27, 2023 16:10 13s
feat: Add check for overlapping generic traits (#3307)
Algolia Recrawl #3: Commit 8cf81b6 pushed by github-merge-queue bot
October 27, 2023 14:31 15s master
October 27, 2023 14:31 15s
feat: Refactor debugger and separate core from UI (#3308)
Algolia Recrawl #2: Commit 8466810 pushed by github-merge-queue bot
October 27, 2023 13:33 16s master
October 27, 2023 13:33 16s
chore: recrawl docs on merge (#3306)
Algolia Recrawl #1: Commit dbb6cf0 pushed by github-merge-queue bot
October 26, 2023 22:05 11s master
October 26, 2023 22:05 11s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.