-
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…
Bump actions/cache from 3 to 4
part: dependencies
#241
by dependabot
bot
was merged Jan 22, 2024
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…
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…
Update MetaCoq version
part: dependencies
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
type: enhancement
Enhancement to an existing feature
#217
by 4ever2
was merged Apr 8, 2023
Loading…
Bump avsm/setup-ocaml from 1 to 2
part: dependencies
#215
by dependabot
bot
was closed Mar 27, 2023
Loading…
ProTip!
Updated in the last three days: updated:>2024-10-25.