- Notifications
You must be signed in to change notification settings - Fork675
Actions: coq/coq
Actions
Showing runs from all workflows
12,621 workflow runs
12,621 workflow runs
Merge PR #20374: Small algorithmic enhancements in variable clearingCheck conflicts #4432: Commitad2768b pushed bycoqbot-appbot
Merge PR #20374: Small algorithmic enhancements in variable clearingGitHub macOS CI #15227: Commitad2768b pushed bycoqbot-appbot
Experiment with Marshal.static_from_channelGitHub macOS CI #15226: Pull request#20354 synchronize bySkySkimmer
test ocaml/ocaml#13861 (Gc.ramp_up)GitHub macOS CI #15225: Pull request#20350 synchronize bySkySkimmer
test ocaml/ocaml#13861 (Gc.ramp_up)GitHub macOS CI #15224: Pull request#20350 synchronize bySkySkimmer
test ocaml/ocaml#13861 (Gc.ramp_up)GitHub macOS CI #15223: Pull request#20350 synchronize bySkySkimmer
test ocaml/ocaml#13861 (Gc.ramp_up)GitHub macOS CI #15222: Pull request#20350 synchronize bySkySkimmer
Add #[refine] attribute for DefinitionGitHub macOS CI #15221: Pull request#20355 synchronize byyannl35133
Improve Boot.Env API and callersGitHub macOS CI #15220: Pull request#20376 synchronize bySkySkimmer
Use full_path for absolute paths more consistentlyGitHub macOS CI #15219: Pull request#20371 synchronize bySkySkimmer
Improve Boot.Env API and callersGitHub macOS CI #15218: Pull request#20376 synchronize bySkySkimmer
Merge PR #20338: Do not call recursively self on subterm strategy.GitHub macOS CI #15217: Commitd3045ce pushed bycoqbot-appbot
Merge PR #20338: Do not call recursively self on subterm strategy.Check conflicts #4431: Commitd3045ce pushed bycoqbot-appbot
Improve Boot.Env API and callersGitHub macOS CI #15216: Pull request#20376 opened bySkySkimmer
Merge PR #20372: dune-dbg don't declare rocqide_main.bc as a dependencyGitHub macOS CI #15215: Commitf3143fe pushed bycoqbot-appbot
Merge PR #20372: dune-dbg don't declare rocqide_main.bc as a dependencyCheck conflicts #4430: Commitf3143fe pushed bycoqbot-appbot
example simplification for bidirectionality hints in refman #12102GitHub macOS CI #15214: Pull request#20370 synchronize byypopovitch
Delete test-suite/coq-makefile/timing-per-lineGitHub macOS CI #15213: Pull request#20375 opened bySkySkimmer
Small algorithmic enhancements in variable clearingGitHub macOS CI #15212: Pull request#20374 synchronize byppedrot
Small algorithmic enhancements in variable clearingGitHub macOS CI #15211: Pull request#20374 opened byppedrot
Remove the ability to declare arbitrary terms as hints.GitHub macOS CI #15210: Pull request#20373 opened byppedrot
Merge PR #20349: Search: don't search local defs (unless Unset Searc…GitHub macOS CI #15209: Commit8a0e7e0 pushed bycoqbot-appbot
Merge PR #20349: Search: don't search local defs (unless Unset Searc…Check conflicts #4429: Commit8a0e7e0 pushed bycoqbot-appbot
[9.0] Bump Stdlib to V9.0.0GitHub macOS CI #15208: Commit455ab6b pushed byppedrot