-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: AU-COBRA/ConCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump ocaml/setup-ocaml from 2 to 3
part: dependencies
#249
by dependabot
bot
was closed Jul 9, 2024
Loading…
Bump avsm/setup-ocaml from 1 to 3
part: dependencies
#248
by dependabot
bot
was closed Jul 9, 2024
Loading…
Cancel duplicate/previous CI runs
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
#247
by 4ever2
was merged Jun 26, 2024
Loading…
Split tests into separate job
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: enhancement
Enhancement to an existing feature
#246
by 4ever2
was merged Jun 26, 2024
Loading…
Fix Concordium test dependencies
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: bug
Something isn't working
#245
by 4ever2
was merged Jun 26, 2024
Loading…
Link elm and rust extraction documentation
type: documentation
Changes to documentation
#244
by 4ever2
was merged Jun 26, 2024
Loading…
Bump actions/cache from 3 to 4
part: dependencies
#241
by dependabot
bot
was merged Jan 22, 2024
Loading…
Piggy bank smart contract improvements
part: examples
Issues and PRs related to examples
type: enhancement
Enhancement to an existing feature
#240
by 4ever2
was merged Dec 29, 2023
Loading…
Misc fixes
type: enhancement
Enhancement to an existing feature
type: refactor
Refactorings, code removal, etc
#239
by 4ever2
was merged Dec 29, 2023
Loading…
Bump actions/upload-pages-artifact from 2 to 3
part: dependencies
#237
by dependabot
bot
was merged Dec 29, 2023
Loading…
Bump actions/deploy-pages from 3 to 4
part: dependencies
#236
by dependabot
bot
was merged Dec 29, 2023
Loading…
Bump actions/upload-artifact from 3 to 4
part: dependencies
#235
by dependabot
bot
was merged Dec 18, 2023
Loading…
Bump actions/deploy-pages from 2 to 3
part: dependencies
#234
by dependabot
bot
was merged Dec 11, 2023
Loading…
Fix MetaCoq utils imports
part: embedding
Issues and PRs related to the embedding layer
type: bug
Something isn't working
#233
by 4ever2
was merged Oct 24, 2023
Loading…
Bump actions/checkout from 3 to 4
part: dependencies
#232
by dependabot
bot
was merged Sep 11, 2023
Loading…
Bump actions/upload-pages-artifact from 1 to 2
part: dependencies
#231
by dependabot
bot
was merged Jul 17, 2023
Loading…
Pin rust compiler version to 1.69.0
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: bug
Something isn't working
#230
by 4ever2
was merged Jun 8, 2023
Loading…
Fix CI
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: bug
Something isn't working
#229
by 4ever2
was merged Jun 2, 2023
Loading…
Update readme
type: documentation
Changes to documentation
#228
by 4ever2
was merged May 26, 2023
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.